La congruence sur les entiers est une relation pouvant unir deux entiers ... raisonne pas directement sur les nombres mais sur leurs restes respectifs par la division euclidienne par un certain entier ...