Méthodes de résolution des équations de congruence (théorème chinois des restes)