Expression analytique du produit scalaire : norme et distance