hade dragit trupper mot öster för att flydda Algeriens gräns.