As we are celebrating International Labour Day today, 1st May, and since it’s a public holiday in many countries, I thought I’d look up the definition of ‘labour’.