آلات التعدين و أو الحجر الجيري