Demailly, J.-P. (2017). A RIGOROUS DEDUCTIVE APPROACH OF ELEMENTARY EUCLIDEAN GEOMETRY. Didácticas Específicas, (7), 69–118. https://doi.org/10.15366/didacticas2012.7.005