Vicende edilizie, usi e progetti per l'Arsenale tra Settecento e Ottocento