Équations de congruence dans les applications de l'informatique (telles que les algorithmes de hachage)