la somme de deux nombre multiples de 7 est-elle un multiple de 7?