Regularity of solutions of a second order Hamilton-Jacobi equation in Hilbert spaces and application to a control problem.