Je vais tenter une démo.
Supposons p non premier, alors il existe (k,a) appartenant à N² tels que p=ka
D´où : Mp = 2^(ka)-1 = (2^a)^k-1
On utilise la formule de la somme des n premiers termes d´une suite géométrique, ce qui donne :
Mp = (2^a-1)S(l=0,l=k-1,2^(al))
Soit Mp = Ma*S(l=0,l=k-1,2^(al))
Donc Ma divise Mp donc Mp n´est pas premier.
Par contraposée on en déduit que si Mp est premier alors p est premier.
Voilà j´espère ne pas avoir dit trop de bêtises. ^^