Chantier de Notre-Dame de Paris : Philippe Jost succède au général Georgelin, décédé cet été