Définition de la connexion riemannienne et dérivée covariante