Comment prouver que trois points sont alignés (avec vecteurs) ?