We study the extension of holomorphic functions of bounded type defined on an open subset of a Banach space to larger domains. For this, we first characterize the envelope of holomorphy of a Riemann domain over a Banach ...