Définition mathématique d'une métrique de Riemann