The theory of differentially closed fields with an automorphism (after R.B. Medina, Paris)