diamante (sustantivo masculino): Lámpara de petróleo con reflector que se usa en las minas.