https://123dok.net/document/zx5o3kjd-topologie-des-espaces-métriques.html