Thierry Coquand; Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 57-100

---

Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 43-54

---