Stress post-traumatique après le 7-Octobre : quel impact sur la population ?