Differentiability in infinite dimension and the Malliavin calculus