Mario Menichelli (1933-2007)
