Propriétés de la médiatrice d'un segment