J.-P. Demailly, «A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY», Didácticas Específicas, n.º 7, pp. 69–118, may 2017.