Text this: Patrimoine technique méconnu des mines d’Alsace et de Moselle : les machines d’extraction