Combien font 8 et 7 ?