La actividad editorial de la Armada en Cádiz en el siglo XVIII