Savoir appliquer le produit scalaire à l'orthogonalité.