The place of historical studies in a modern polytechnic