Michele De Gregorio (1940–2023)