Soldats de l'opération Sentinelle, GIGN, RAID... Le gouvernement annonce des moyens renforcés pour la journée de mobilisation du 24 octobre