Première partie de la démonstration de la semaine 9 du cours inf2015.