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 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, D-modules arithmétiques.