L'età delle miniere. L'industria mineraria italiana dall'Unità alla II guerra mondiale.