Infrared measurement of the temperature at the tool–chip interface while machining Ti–6Al–4V