我们在这里要讲述的是一个特别的节日——国际劳动节，也被称为“五一国际劳动节”。