"Extrême vigilance" : plus de 50.000 policiers et gendarmes déployés pour la Fête de la musique, selon Retailleau