garlopín (sustantivo masculino): Cepillo más corto que la garlopa.