Quelle est la somme de 8 et 7?