Définition : Vecteur normal à une droite