https://123dok.net/document/y6emrg2o-ensembles-fermés-d-entiers-algébriques.html