Combien font 7 et 4 ?