Un anneau principal non euclidien

Le Perrin fait ça très bien, mais je trouve la preuve du caractère non-euclidien un peu parachutée. Je donne ici des éléments qui permettent, je l'espère, de comprendre un peu mieux d'où sort ce morceau de preuve.

Chapitre II, partie 5