Gardies. Les mathématiques grecques sous le regard de la théorie des types. no. CS 5, OpenEdition, Aug. 2005, doi:10.4000/philosophiascientiae.93.