Starting to explain about defos modules in non-flat case
Tensor products and the cotangent complex
Differential operators of finite order

Case of modules on sites