Exercice 3
Démontrer que la somme de deux multiples de 7 est un multiple de 7.