Savez-vous combien a coûté la restauration des dorures de la place Stanislas, en 1937 ?