Moroccan opposition leader Mehdi ben Barka was a spy, cold war files suggest
The activist who was murdered in Paris in 1965 was a hero of the global struggle against imperialism, but files from the Czechoslovak secret service cast doubt on his independence