Didactic Situations and Didactical Engineering in university mathematics: cases from the study of Calculus and proof · Study