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 !
Cette 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.