Darmanin annonce le renfort de 3.900 policiers et gendarmes dans les lieux touristiques