équipement de cordonnier dans les mines