A Paris, quelque 10 000 policiers, gendarmes et militaires de l'opération Sentinelle seront mobilisés.