2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/129211We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We review the notions of stratification theory which are needed.19 pagesAlgebraic GeometryFunctional Analysis32B05text