Produit scalaire de vecteurs