banque de données et analyse sommaire des résultats : The population of European cities, 800-1850 : data bank and short summary of results