Pierre Bénichou est mort