Combien font 10 et 7 ?