Méthodes de résolution des équations de congruence et théorème du reste