conjecture de Lehmer