Le théorème de complexification semi-propre
Il est bien connu que l’image d’une application analytique complexe semi-propre est un ensemble analytique; dans le cas réel elle est en général sous-analytique. Dans cet article on donne des conditions pour la semi-analyticité de l’image d’une application analytique réelle, semi-propre qui admet une complexification semi-propre.