Diccionario mexicano: Jerga de milicia

Realizar los soldados ciertos actos, como llevarse la mano derecha a la gorra, efectuar descargas de artillería, movimientos de las armas, ciertos toques, etc en honor de alguien o de algo.

Tiempo que se señala como dedicado al descanso o a la retirada; y toque para indicarlo.

Población, lugar o edificio en donde establece su estado mayor un general de división