De la matemática formal a la matemática escolar