劳动节是不是国际节日?劳动节是国际节日吗!