%0 Journal Article %A Lombardi, Henri %A Quitté, Claude %T Décryptage constructif des preuves classiques, un cas d’école  : le théorème d’Artin en théorie de Galois %J Publications mathématiques de l'Université de Franche-Comté Besançon. Algèbre et théorie des nombres %D 2006 %P 43-54 %I Université de Franche-Comté et CNRS %U http://www.numdam.org/articles/10.5802/pmb.a-112/ %R 10.5802/pmb.a-112 %G fr %F PMB_2006____43_0