Propriété 1 (droites perpendiculaires à une même droite)