Dầu cắt gọt kim loại – Theo ngôn ngữ khác