View of Learning functions as a process of progressive mathematization: high school students facing a didactic sequence on free fall