y posteriormente en la trotskista Liga Comunista Revolucionaria (LCR) y en la IV Internacional.