Développement : Anneau des entiers de Gauss : euclidien

Détails/Enoncé :

Recasages pour l'année 2024 :

Versions :

Références utilisées dans les versions de ce développement :