Mario Benedetti (1920-2009)