Un nombre premier est en particulier positif (et donc si p1|p2 avec p1 et p2 premiers, p1=p2)