como se llama el operario de un molino triturador