  Given a holonomic D-module M on a 1-dimensional torus, one can consider its
Mellin transform, which is a difference system on the affine line. In this note
we prove a formal stationary phase formula, which shows that the formal
behavior at infinity of the Mellin transform of M is determined by the local
germs defined by M at its singular points.
