Montrer que deux droites sont perpendiculaires