Paul Bénichou est mort en 2001