Les 1er Mai ont une histoire : comment un 1er Mai est à l’origine des grandes grèves de 1936 (2022)