Développement : Un anneau principal non euclidien

Détails/Enoncé :

Recasages pour l'année 2019 :

Versions :