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.