  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.
