Seminaire Bourbaki heftetEngelsk, 1980