  In this article we investigate the Gevrey version of the WKB method known in
the smooth and analytic categories. We use conjugation by FIO's and sketch a
calculus of FIO's in our setting which the semi classic one. We have sub
exponential remainders with respect to the parameter. We sketch also an
alternative method using Gevrey local FBI transforms.
