Test de primalité d'un nombre entier positif