Restauration de Notre-Dame de Paris : le BRGM ajoute sa pier