TY - JOUR AU - Lombardi, Henri AU - Quitté, Claude TI - Décryptage constructif des preuves classiques, un cas d’école  : le théorème d’Artin en théorie de Galois JO - Publications mathématiques de l'Université de Franche-Comté Besançon. Algèbre et théorie des nombres PY - 2006 SP - 43 EP - 54 PB - Université de Franche-Comté et CNRS UR - http://www.numdam.org/articles/10.5802/pmb.a-112/ DO - 10.5802/pmb.a-112 LA - fr ID - PMB_2006____43_0 ER -