As Dmytro Taranovsky has kindly pointed out to me. I misspelled Jeremy AVAGAD's name in my previous post. He also remarked: <<The article is also available online at http://www.andrew.cmu.edu/~avigad/ in the section "Surveys".>> Martin