Test de Primalité de Miller–Rabin

Algorithme probabiliste qui teste si un entier impair n est probablement premier en effectuant une ou plusieurs vérifications de 'strong probable prime' sur des bases aléatoires (ou choisies) à l'aide d'exponentiations modulaires et de règles de mise au carré.