La distributivité du produit scalaire