https://123dok.net/document/q054rpv3-projectivité-schémas-courbes-anneau-valuation-discrète.html