Mort du général Jean-Louis Georgelin : où en sont les travaux de reconstruction de Notre-Dame de Paris ?