utensilios de retoque ("máquinas herramientas").