Stochastic Optimal Control in Infinite Dimension