https://123dok.net/document/q7w40o2r-compacité-dans-un-espace-métrique.html