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