Technique de descente et théorèmes d'existence en géométrie algébriques. II. Le théorème d'existence en théorie formelle des modules
We give a simplification, in the case of Q-algebras, of the proof of Artin's Conjecture, which says that a regular morphism between Noetherian rings is the inductive limit of smooth morphisms of finite type.