* pour irréductible ok, mais pour élément premier je n'ai pas de ref (j'ai très peu de livres). Dans <url> j'ai bricolé pour que tout marche bien, et pour que ça colle dans le cas des entiers (j'ai lu attentivement <url>), mais suisje dans le vrai, ou bien fautil n'exclure 0 et les inversibles des premiers qu'a posteriori, en rajoutant l'adjectif "propre" ?