L'insegnante di matematica nel laboratorio di informatica: dalla proporzionalità all'equazione della retta, fra scuola media e biennio di scuola superiore, con Derive