Abstract
In this paper a theory of summability in a direction, extending that of J.P. Ramis, is developed for formal power series of several variables. To this end, generalized Laplace and Borel transforms are studied, as well as their action on functions admitting Gevrey strongly asymptotic expansion as defined by H. Majima. The definition we give of summability in a direction turns out to be, in a sense, equivalent to an iterative classical summation procedure. As an application we provide a new proof of a well‐known result of R. Gérard and Y. Sibuya stating the convergence of the formal power series solution to a certain completely integrable Pfaffian system.