Mario Alinei (1926-2018)