batán—Máquina ou muíño que bate o pano para enfeltralo e compactalo.
Borrowed from Spanish batán, probably from Andalusian Arabic بَاطَان (baṭán), from Arabic بِطَانَة (biṭāna, “liner, lining”).