Extension of formal power series solutions

We consider the Cauchy problem for overdetermined systems of linear partial differential operators, when the manifold where we give the initial data is reduced to a point. We give a formal power series \phi at x_0 solution of the system as Cauchy datum, and we look for a smooth solution of the system having \phi as Taylor series in x_0