Après les violences au Sénégal, des forces armées déployées dans Dakar