Rédiger la démonstration par dichotomie

Rédige la démonstration complète du théorème de Bolzano-Weierstrass par dichotomie : construis les segments emboîtés en précisant l'invariant de récurrence, définis l'extractrice $\varphi$ et justifie sa stricte croissance, puis conclus par encadrement.