L'Arsenale di Palermo in rapporto agli arsenali di Sicilia e del Mediterraneo