O primeiro 1º de maio da História: “Lisboa está entre as cidades do mundo em que se começou a assinalar a data em 1890”