L'éphéméride du 11 novembre : en 2017, Teddy Riner remporte sa dixième Coupe du monde