Cathédrale de Metz : mais pourquoi l'appelle-t-on la "lanterne du Bon Dieu" ?