Combien font 9 + 4 ?