Perpendiculaire à une droite par un point extérieur