https://123dok.net/document/y967x2jy-dedekind-associées-corps-nombres-totalement-réel.html