congruence de Lehmer