7 octobre 2023 : parler de Shoah ou pas ?