Expression analytique du produit scalaire dans une base orthonormée