La mosquée de Pantin « a fait le ménage » : elle pourra rouvrir plus tôt que prévu d'après Darmanin