Quelle est la somme de 7 et 4?