Théorème :
«Toute suite de réels bornée admet une suite extraite convergente
Démonstration