Définition et représentation symbolique de la congruence