Linear Cauchy problems, Banach spaces of entire functions, formal power series, ordinary differential equations