Sur la préservation de la surconvergence par l'image directe d'un morphisme propre et lisse
On the stability of the overconvergence under the direct image by a proper smooth morphism

Français
Modulo sa traduction en théorie des $\mathcal D $-modules arithmétiques, nous prouvons la conjecture de Berthelot sur la préservation de la surconvergence par l'image directe d'un morphisme propre et lisse de variétés sur un corps parfait de caractéristique $p>0$.
Cohomologies $p$-adiques, isocristaux, $\mathcal {D} $-modules arithmétiques.