Réalisation réelle de courbes formelles invariantes.
Soit
un germe de champ de vecteur analytique de
singulier à l'origine, admettant une courbe formelle
invariante. On construit alors un germe de demi-courbe non-oscillante
, (
), invariante sous l'action de
, ayant un contact plat avec
. On déduit de ce résultat la o-minimalité des trajectoires de champs de vecteurs analytiques qui sont isolées, c'est-à-dire seules dans leur pinceau intégral. Il s'agit d'un travail commun avec F. Cano et F. Sanz.