Sur l'analyticité des applications CR lisses à valeurs dans un ensemble algébrique réel
Résumé
Soit 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.