Menace terroriste en France : la sécurité est renforcée avec 7 000 militaires