https://123dok.net/document/yr369rlj-théorie-dieudonné-anneau-valuation-parfait.html