Définition du produit scalaire