Paris : Philippe Jost succède au général Georgelin sur le chantier de Notre-Dame