Pierre Bénichou est mort en 2020