"Estadísticas actualizadas el 5/10/2024 6:02:32 PM"
operación consistente en arrancar limaduras de un material por medio de una lima o de una limadora