théorème de Bolzano-Weierstrass Théorème selon lequel, dans un espace métrique compact, de toute suite infinie, on peut extraire une suite convergente.