Propriétés du produit scalaire