omkring operan vore beordrade omkring tusen man , dels af det under prefekturens kommando stående republikanska ( förut municipal- ) gardet till fots , dels af vanliga ; polisagenter.