Oil for threading pipes, with manual or electric threading tool