Combien font 4 et 9 ?