Mario Alinei. In memoriam (1926-2018)