arsenal
arsenal
Palavra de origem árabe, dar-aq-cina’â, com o significado de casa da indústria, fábrica.
É expressão de uso eminentemente militar.
Tem o sentido de indicar o estabelecimento ou local onde se fabricam e se depositam armas, munições e demais apetrechos de guerra; ou onde se constroem ou se reparam as embarções de guerra e se armazenam ou guardam os aprestos e aparelhos sobressalentes para os equipar, quando necessário.
Assim se diz: arsenal do exército e arsenal da marinha.