Démontrer qu'un vecteur est normal à un plan