Choisir trois entiers naturels consécutifs et vérifier que leur somme est divisible par 3 et généraliser