The place of the History of Education in training courses for teachers