On définit, pour un germe d’ensemble sous-analytique, deux nouvelles suites finies d’invariants numériques. La première a pour termes les localisations des courbures de Lipschitz-Killing classiques, la seconde est l’équivalent réel des caractéristiques évanescentes complexes introduites par M. Kashiwara. On montre que chaque terme d’une de ces suites est combinaison linéaire des termes de l’autre, puis on relie ces invariants à la géométrie des discriminants des projections du germe sur des plans...

In Example 1, we describe a subset X of the plane and a function on X which has a ${}^k$-extension to the whole ${ℝ}^2$ for each finite, but has no ${}^{\infty }$-extension to ${ℝ}^2$. In Example 2, we construct a similar example of a subanalytic subset of ${ℝ}^5$; much more sophisticated than the first one. The dimensions given here are smallest possible.

Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.

We extend a result of M. Tamm as follows:Let $f:A\to ℝ,A\subseteq {ℝ}^{m+n}$, be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions $x\mapsto x^r:(0,\infty )\to ℝ,r\in ℝ$. Then there exists $N\in \mathbb{N}$ such that for all $(a,b)\in A$, if $y\mapsto f(a,y)$ is $C^N$ in a neighborhood of $b$, then $y\mapsto f(a,y)$ is real analytic in a neighborhood of $b$.