Un héros du 7 octobre : la survie miraculeuse de Haïm Sassi