20 millions d'euros pour la flèche de la basilique de Saint-Denis