https://123dok.net/document/z3dl04rm-c-quelques-propriétés-de-la-compacité.html