J.-P. Demailly, “A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY”, Didácticas Específicas, no. 7, pp. 69–118, May 2017.