@article{PMB_2006____57_0,
     author = {Coquand, Thierry and Lombardi, Henri and Quitt\'e, Claude},
     title = {Dimension de {Heitmann} des treillis ditributifs et des anneaux commutatifs},
     journal = {Publications math\'ematiques de l'Universit\'e de Franche-Comt\'e Besan\c{c}on. Alg\`ebre et th\'eorie des nombres},
     pages = {57--100},
     publisher = {Universit\'e de Franche-Comt\'e et CNRS},
     year = {2006},
     doi = {10.5802/pmb.a-113},
     language = {fr},
     url = {http://www.numdam.org/articles/10.5802/pmb.a-113/}
}