Le travail présenté dans cette thèse concerne l'analyticité et l'algébricité d'applications de Cauchy-Riemann (CR) lisse entre variétés CR analytiques ou algébriques réelles. Ce sujet a trait aux propriétés de prolongement d'applications et a récemment connu un regain d'activité. Notre contribution porte principalement sur l'étude du cas non équidimensionnel et sur le passage à la codimension supérieure à un. Dans la première partie de la thèse, nous considérons la question de l'algébricité d'une application holomorphe locale f envoyant une sous-variété algébrique réelle générique minimale M de Cn, n > 1, dans un sous-ensemble algébrique réel M' de Cn'. Ce problème a pour origine les travaux de Poincaré (1907), et plus récemment de Webster (1977). L'introduction de "variétés caractéristiques" associées à la fois aux ensembles M et M' et à l'application f nous permet de donner deux nouvelles conditions pour que f soit algébrique. Dans la deuxième partie de la thèse, nous étudions le problème de l'analyticité d'une application CR lisse f : M -> M' entre une sous-variété analytique réelle générique minimale M de Cn, n>1, et un sous-ensemble analytique réel M' de Cn'. Nous établissons une généralisation du principe de réflexion de Lewy-Pinchuk (1975-77) et prouvons que si la variété caractéristique est de dimension zéro, f est analytique réelle. Dans la troisième partie de la thèse, nous traitons la situation plus générale où la variété caractéristique est de dimension arbitraire. Nous démontrons que si M' ne contient pas de courbe complexe, f est analytique sur un ouvert dense de M. Plus généralement, nous établissons une estimation supérieure de l'analyticité partielle de f, en fonction de la dimension maximale des feuilletages holomorphes locaux contenus dans M'.

Cette thèse est consacrée à l'étude de l'existence d'applications holomorphes entre des sous-variétés réelles dans des espaces complexes. On s'intéresse plus particulièrement à la convergence et à l'approximation à la Artin d'applications formelles entre sous-variétés réelles. Tout d'abord, on montre la convergence des applications formelles de jacobien non identiquement nul entre une sous-variété générique analytique réelle minimale et une sous-variété générique analytique réelle holomorphiquement non dégénérée. Grâce à ce résultat, on obtient la convergence de toutes les applications formelles entre une hypersurface analytique réelle minimale holomorphiquement non dégénérée et une hypersurface qui ne contient pas de courbe holomorphe. D'autre part, on établit la convergence de l'application de réflexion associée à une application formelle de jacobien non identiquement nul entre hypersurfaces lorsque l'hypersurface source est minimale. Cela nous permet ensuite de montrer un résultat d'approximation à la Artin dans ce même cas. Pour finir, on prouve un théorème artinien pour des applications CR lisses entre deux sous-variétés dans des espaces complexes de dimensions différentes.