TY - JOUR AU - Coquand, Thierry AU - Lombardi, Henri AU - Quitté, Claude TI - Dimension de Heitmann des treillis ditributifs et des anneaux commutatifs JO - Publications mathématiques de l'Université de Franche-Comté Besançon. Algèbre et théorie des nombres PY - 2006 SP - 57 EP - 100 PB - Université de Franche-Comté et CNRS UR - http://www.numdam.org/articles/10.5802/pmb.a-113/ DO - 10.5802/pmb.a-113 LA - fr ID - PMB_2006____57_0 ER -