  Up to a translation in the language of arithmetic $\D$-modules, we prove a
conjecture of Berthelot on the preservation of the overconvergence under the
direct image by a smooth proper morphism of varieties over a perfect field of
characteristic $p>0$.
