Avvertenza su toponimi, geologia e tipologia delle miniere