Soit f :M→M′ une application CR de classe C^∞ entre une sous-variété MCⁿ analytique réelle générique et un sous-ensemble M′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. Pour citer cet article : B. Coupet et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 953-956.

Let f:M→M′ be a C^∞-smooth CR mapping between a generic real analytic submanifold MCⁿ and a real algebraic subset M′C^n′. We prove that if M is minimal at a point p and if M′ does not contain complex curves, then f is real-analytic at p. To cite this article: B. Coupet et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 953-956.