L'éphéméride du 5 novembre : joyeux anniversaire à Jean-Pierre Papin !