https://123dok.net/document/yng98mnj-une-valuation-discrète-est-unique.html