SMS dit: Rigid cohomology