Test de Lucas-Lehmer pour les nombres de Mersenne, 100% bio, sans abus de notation ni circonvolution

On prouve un critère pour que $M_q=2^q-1$ soit premier, on en déduit un test algorithmique simple et rapide. C'est par cette méthode qu'on a construit les plus grands nombres premiers connus à ce jour !\r\rCette version du développement parvient à présenter la caractérisation des $M_q$ premiers et le test de Lucas-Lehmer en 15 minutes, en esquivant un calcul du Saux-Picard-Rannou qui n'est pas utile.