Gianni De Michelis (1940–2019)