Les nombres premiers

Explication :

Utilisation avec PCP :