https://philippemonchaux.fr/2022/01/la-congruence/