Artin's approximation theorem states: "if a system of locally analytic equations in several complex variables has a formal solution then it has a locally analytic solution".

(Artin 1968, "On the solutions of locally analytic equations")

This is probably true for any algebraically closed field of zero characteristic with valuation? Any reference?