Remarks on the history of the notion of Lie differentiation 1