Combien font 9 et 5 ?