Catégorie : produit scalaire de deux vecteurs