Quelle est la somme de 4 et 7 ?