Restauration de Notre-Dame de Paris : la flèche embellie dès cet été