In memoriam: Mario Girardi (1 novembre 1948 - 15 giugno 2015)