A theorem of finiteness for modules which are flat and pure over the base scheme | lit.salon