In memoriam: Enzo Mari (1932-2020)