Incendie de Notre-Dame : que faire du reste de l'argent récolté pour les travaux ?