L'immense volume de pierres qu'il faudra remplacer pour la restauration de Notre-Dame de Paris pourrait faire craindre une pénurie.