connexion de Gauss-Manin