Test de primalité de Fermat