Sans le général Georgelin, Notre-Dame n'aurait pas été relevée aussi vite