SMS: D-modules arithmétiques II : descente par Frobenius / Pierre Berthelot.