Notre-Dame de Paris : la flèche sera prête et "bien visible" cet été au moment des JO, promet Philippe Jost