Given a Lipschitz stratification 𝒳 that additionally satisfies condition (δ) of Bekka-Trotman (for instance any Lipschitz stratification of a subanalytic set), we show that for every stratum N of 𝒳 the distance function to N is locally bi-Lipschitz trivial along N. The trivialization is obtained by integration of a Lipschitz vector field.

In rings ${\Gamma }_M$ of formal power series in several variables whose growth of coefficients is controlled by a suitable sequence $M={\left(M_l\right)}_{l\ge 0}$ (such as rings of Gevrey series), we find precise estimates for quotients F/Φ, where F and Φ are series in ${\Gamma }_M$ such that F is divisible by Φ in the usual ring of all power series. We give first a simple proof of the fact that F/Φ belongs also to ${\Gamma }_M$, provided ${\Gamma }_M$ is stable under derivation. By a further development of the method, we obtain the main result of the paper, stating that...