Gérard Hernandez et Pierre Benichou : octogénaires en pleine forme