Combien font 7 et 9 ?