Combien font 7 plus 6 ?