Gardies, 2005. Les mathématiques grecques sous le regard de la théorie des types.. https://doi.org/10.4000/philosophiascientiae.93