Combien font 3 et 7 ?