On les appelait… les harkis