L'éphéméride du 25 juillet : joyeux anniversaire à Éric Judor !