Deux droites perpendiculaires à une même droite sont parrallèles