The widespread use of dynamic geometry software (DGS) is gathering many interesting questions and discussing the necessity and meaning of proof in school mathematics. With these questions in mind, a didactical sequence on ...