El nuevo Código de Minería de la República de Chile - Ravest, José (Cervantes, 1889)