Restauration de Notre-Dame de Paris : la fierté d'un tailleur de pierre