title: Théorème d'Artin-Lang
text: # Théorème d'Artin-Lang
  
  En mathématiques, le théorème d'Artin-Lang est un théorème d'algèbre commutative sur les corps ordonnés. Il est essentiel dans la preuve du XVIIe problème de Hilbert, publiée par Emil Artin en 1927.
  
  ## Énoncé
  
     Soit $R$ un corps réel clos, $R_{1}$ une corps réel clos contenant $R$ et $A$ une $R$-algèbre de présentation finie. S'il existe un morphisme de $R$-algèbres $\varphi :A\to R_{1}$, alors il existe un morphisme de $R$-algèbres $\psi :A\to R$
  