@article{PMB_2006____43_0, author = {Lombardi, Henri and Quitt\'e, Claude}, title = {D\'ecryptage constructif des preuves classiques, un cas d{\textquoteright}\'ecole~~: le th\'eor\`eme {d{\textquoteright}Artin} en th\'eorie de {Galois}}, journal = {Publications math\'ematiques de l'Universit\'e de Franche-Comt\'e Besan\c{c}on. Alg\`ebre et th\'eorie des nombres}, pages = {43--54}, publisher = {Universit\'e de Franche-Comt\'e et CNRS}, year = {2006}, doi = {10.5802/pmb.a-112}, language = {fr}, url = {http://www.numdam.org/articles/10.5802/pmb.a-112/} }