Pierre Diner (1932-2015)