Un arsenal es un edificio destinado a la construcción, reparación, almacenamiento y distribución de armamento y munición.