médiatrice d’un segment

La médiatrice d’un segment est la droite perpendiculaire à ce segment et qui passe par son milieu.
Tracé.