Dipòsit o magatzem d'armes i d'altres articles de guerra, especialment en la marina. Aquell llibre és un arsenal de notícies interessants. Establiment marítim militar tancat, bastit en un port defès, que consta de drassanes, de tallers i de magatzems on, a redós del [...]