Sheaves on manifolds are perfectly suited to treat local problems, but many spaces one naturally encounters, especially in Analysis, are not of local nature. The subanalytic topology (in the sense of Grothendieck) on real analytic manifolds allows one to partially overcome this …