registres congruents