Macchine matematiche reali e virtuali: cabri come ambiente di Modellizzazione.