L'éphéméride du 17 juin : en 2022, la mort de Jean-Louis Trintignant