Combien font 3 plus 4 ?