Savoir résoudre une équation avec des congruences.