Produit scalaire et projection orthogonale