Analytique du produit scalaire