Ils étaient les Brigades Rouges

?