Démonstration de la propriété de la droite des milieux