FBI Transform in Gevrey Classes and Anosov Flows

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.