La somme de deux nombres naturels est toujours un nombre naturel