Dans ce travail, on explique quelques résultats de base en théorie des D-modules arithmétiques de Berthelot. Parmi ces résultats, un résultat important est un théorème de comparaison avec la théorie des D-modules p-adiques introduite par Mebkhout et Narvaez-Maccarro. Ce résultat intervient dans des travaux récents de Caro, pour démontrer les conjectures de Berthelot sur les D-modules arithmétiques holonomes munis d'un Frobenius. Un autre résultat concerne un analogue, dans le cadre arithmétique, du théorème de Beilinson-Bernstein concernant les D-modules.