J.-P. Demailly, “A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY”, Didácticas Específicas, nº 7, p. 69–118, maio 2017.