Estribo. / Madero que sirve

de puntal en las minas.