Massimo Girotti (1918-2003)