La somme de deux multiples de 3 est toujours un multiple de 3?