Restauration de Notre-Dame : où va-t-on trouver les pierres ?