Tommaso Mitrotti (1938–2024)