D-modules arithmétiques, Pierre Berthelot · Super Livre