Travaux à la porte Saint-Pierre : la rénovation est terminée