Sur l'analyticité des applications CR lisses à valeurs dans un ensemble algébrique réel

Article écrit en commun pour répondre à deux "inspirations libres" des travaux de thèse de S. Damour par Meylan-Mir-Zaitsev : Math. Res. Lett. 9 (2002), no. 1, 73--93 ; Asian J. Math. 7 (2003), no. 4, 493--509Soit f : M -> M' une application CR de classe C^infty entre une sous-variété M \subset C^n analytique réelle générique et un sous-ensemble M' \subset C^{n'} algébrique réel. On démontre que si M est minimale en un point p et si M' ne contient pas de courbe complexe, f est analytique réelle en p