s. m. || grande estabelecimento onde se fabricam e depositam armas, munições e petrechos de guerra; ou onde se fabricam e reparam as embarcações de guerra, e se guardam os petrechos sobressalentes e mais objetos necessários para os equipar: Arsenal do Exército. Arsenal da Marinha. || (Fig.) Depósito, arquivo.
F. ár. Dãr aç-cina'a (casa de obras, fábrica).
{novo}