Combien font 9 + 25 ?