Extending holomorphic maps from compact sets in infinite dimensions N. Khue, B. Tac (1990) Studia Mathematica