Nombre de mersenne premiers

[Pypiou]

Bonjour,

Je désire me remettre dans les mathématiques
sur le sujet des nombres de mersenne (2 exposant P) -1

Et travailler sur le test inventé par Edouard Lucas et amélioré par Derrick Lehmer vers 1930

Seulement même sur des bouquins d'arithmétique modulaire, je ne trouve aucune explications voire démonstration de la validité des tests de lucas et de lucas-lehmer (qui porte aussi le nom de théorème des racines primitives, je crois).

Sauriez vous m'indiquer un bon livre sur le sujet (avec explication-démonstration détaillé des tests) ?
ou un site ?

Merci

[Amthergeld]

sur Mersenne : à part la source collective, la page d'un agrégé pas mal bâtie est pragmatique avec Maple.