Sécurité des JO 2024 : pour Darmanin, il est trop tôt pour dire si l'armée devait être sollicitée