une propriété pour démontrer que deux droites sont perpendiculaires please