%0 Journal Article %A Coquand, Thierry %A Lombardi, Henri %A Quitté, Claude %T Dimension de Heitmann des treillis ditributifs et des anneaux commutatifs %J Publications mathématiques de l'Université de Franche-Comté Besançon. Algèbre et théorie des nombres %D 2006 %P 57-100 %I Université de Franche-Comté et CNRS %U http://www.numdam.org/articles/10.5802/pmb.a-113/ %R 10.5802/pmb.a-113 %G fr %F PMB_2006____57_0