A dichotomy for the injective dimension of F-finite F-modules and holonomic D-modules. Issue 6 (3rd June 2019)