Finiteness and constructibility in local analytic geometry
  We 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. 
Mauricio D. Garay