Picard's theorem for ordinary differential equations in locally convex spaces

A class of infinite-dimensional Frechet spaces is constructed, including certain subspaces of $C^\infty[-1,1]$, in which Picard's theorem on solvability of an ODE with smooth right-hand side is valid in the usual formulation. Every continuous linear operator on these spaces has an exponential.