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