An analytic FBI transform is built on compact manifolds without boundary, that satisfies all the expected properties. It enables the study of microlocal analytic and Gevrey regularity on such manifolds. This tool is then used to study the Ruelle spectrum of Anosov flows with Gevrey coefficients. In particular, finite order for the associated dynamical determinant is proved.

v2: Main result improved with respect to v1. Major changes in the presentation v3: Electronic copy of final manuscript accepted for publication