Définition du produit scalaire et propriétés