Farewell to Jimmy Greaves, legend of English football: he also played for Milan