Benjamin Stora: le massacre du 17 octobre 1961, «doit être reconnu dans les manuels scolaires»