Propriétés et applications des opérations de congruence modulo