Instruments de l’histoire pour enseigner et apprendre : le cas des machines mathématiques