Combien font 7 et 5 ?