Borel summability, Cauchy problem, Fourier transform, formal power series, 
Gevrey estimates