Notre-Dame de Paris : cinq ans de travaux, 2 000 compagnons... Combien la restauration de la cathédrale a-t-elle coûté ?