Les machines mathématiques comme ressources: de la formation à la classe