Combien font 4 + 3 ?