Quelle est la somme de 7 et 1?