Paolo Pinelli (1921-2015)