L'éphéméride du 9 octobre : en 2017, la disparition de l'acteur français Jean Rochefort