Statistics of History and Historiography of Education. Some remarks on the utility of historical knowledge in the age of efficiency