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