Explorer Numbered et PALs des années 1980s