  We prove that generalized loop spaces of Hartogs manifolds are
Hilbert-Hartogs. We prove also that Hilbert-Hartogs manifolds possess a better
extension properties that it is postulated in their definition. Finally, we
give a list of examples of Hilbert-Hartogs manifolds.
