Je parlerai des avancées récentes obtenues an collaboration avec Jérôme Poineau concernant la finitude dimensionnelle de la cohomologie de de Rham d'une équation différentielle sur une courbe p-adique. Cela est un problème profond et à la base de la théorie qui est resté ouvert pendant 50 ans.