test de Lucas-Lehmer