Anneau principal non euclidien

[formule]

Principal (Minkowski) mais non euclidien pour aucun stathme.