La ville de Luxembourg pendant la seconde moitié du 17e siècle — Institut grand-ducal de Luxembourg. Section historique