世界大百科事典〈1972〉 (1972年)