À propos des machines minières