Médiatrice d’un segment et inégalité triangulaire