Chantier de Notre-Dame de Paris : Philippe Jost, bras droit du général Georgelin, lui succède