Deterministic model for objectifying the students' proving process in Discrete Mathematics. - Da Ronch, Mickaël (Congress of the European Society for Research in Mathematics Education, 2026)