Vous utiliserez pour vérifier si un nombre est premier l'algorithme
suivant, basé sur le petit théorème de Fermat. Il teste le théorème de
Fermat pour s'assurer que est premier. Si
ne vérifie pas ce
théorème pour une valeur
arbitraire, alors
n'est pas
premier. Sinon, on ne peut pas conclure immédiatement. Le cas
particulier où on trouverait un nombre inversible
qui ne soit pas
un multiple de
nous permet de conclure la non-primarité de
. Le
test est effectué
fois, si aucune valeur ne mettant en défaut le
théorème de Fermat n'est trouvée, alors
est probablement premier.
Ecrire cet algorithme sans gmp pour tester la primarité de nombres générés aléatoirement, vérifier les résultats retournés.