ingenio (sustantivo masculino): Ingenio para cortar uniformemente los cantos de los libros.