Laplace transform, formal power series, asymptotic expansions, ultraholomorphic classes, Borel map, extension operators