Mr Kof

Théorème de Borel-Lebesgue : Un espace métrique (X,d) est compact ssi tout recouvrement ouvert de X admet un sous-recouvrement fini.