Enzo Bartocci (1929–2023)