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