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