arsenal
m.Del ár. hisp. *ddár assán“a, este de dár assiná'a, y este del ár. clás. dar assina “ah “casa de la industria”
- Establecimiento militar o particular en que se construyen, reparan y conservan las embarcaciones, y se guardan los pertrechos y géneros necesarios para equiparlas.
- Depósito o almacén general de armas y otros efectos de guerra.
- Conjunto o depósito de noticias, datos, etc. Esa obra es el arsenal de donde Antonio saca sus noticias.
Fuente: Diccionario de la RAE (23.ª ed.)