The Zahorski theorem is valid in Gevrey classes
Let Ω,F,G be a partition of such that Ω is open, F is and of the first category, and G is . We prove that, for every γ ∈ ]1,∞[, there is an element of the Gevrey class Γγ which is analytic on Ω, has F as its set of defect points and has G as its set of divergence points.