Quelle est la somme de 9 et 4?