20 millions d'euros pour remonter la flèche, c'est déjà Noël à la basilique Saint-Denis