Le pogrom du 7 octobre 2023, on le sait, a été le plus grand massacre de Juifs depuis la Seconde Guerre mondiale.