Décès du général Georgelin : son bras droit Philippe Jost lui succède à la tête du chantier de Notre-Dame