Propriété du produit scalaire