Combien font 3 plus 7 ?