Combien font 9 plus 7 ?