Bolzano-Weierstrass par dichotomie

Construis pas à pas la sous-suite convergente d'une suite bornée : suites extraites, segments emboîtés, dichotomie, puis les grands théorèmes que ce résultat rend possibles.