Combien font 6 plus 3 ?