Studying the Practical Rationality of Mathematics Teaching: What Goes Into “Installing” a Theorem in Geometry?