Incendie de Notre-Dame de Paris : trois ans plus tard, où en sont les travaux ?