arsenal (sustantivo masculino): Taller dedicado a la construcción, reparación o conservación de barcos.