Note on the quasi-proper direct image with value in a Banach analytic   set
  We give a rather simple proof of the generalization of Kuhlmann's quasi-proper direct image theorem to the case of a map with values in a Banach analytic set. The proof uses a generalization of the Remmert-Stein's theorem to this context. AMS Classification. 32 H 02-32 K 05-32 C 25. 
Daniel Barlet (IUF)
math.CV math.AG