Combien font 6 + 3 ?