definition d une machine magnetique dans les mines