Download PDF - Extension of separately holomorphic functions defined in non-open sets in the infinite dimensional case