Betti number estimates in p-adic cohomology

Within the framework of Berthelot’s theory of arithmetic D-modules, we prove the p-adic analogue of Betti number estimates and we give some standard applications.