Plus de 10.300 policiers, gendarmes, militaires, pompiers et associatifs, ont été mobilisés, toute la soirée et…