Si gmp_prob_prime retourne 0, a
est défini comme non premier. Si gmp_prob_prime retourne
1, alors a est "probablement" premier.
Si gmp_prob_prime retourne 2, alors
a est sûrement premier. reps
peut raisonnablement varier de 5 à 10 (par défaut, c'est 10); une valeur
supérieure réduit la probabilité qu'un nombre non premier soit
identifié comme "probablement" premier.
gmp_prob_prime utilise le test de probabilité
Miller-Rabin.