  We use motivic methods to give a quick proof of Berthelot's conjecture
stating that the push-forward map in rigid cohomology of the structural sheaf
along a smooth and proper map has a canonical structure of overconvergent
F-isocrystal on the base.
