Quelle est la somme de 9 et 7 ?