Dispositif policier déployé pour les JO Paris 2024, quels renforts cet été en Haute-Garonne ?