https://123dok.net/document/q2n770lp-contractions-spectre-dénombrable-propriétés-unicité-fermés.html