Ali Boumendjel, militant "torturé et assassiné" par l'armée française lors de la guerre d'Algérie