Quelle est la somme de 9 et 8?