L'Internationale des gens de la mer (1930-1937): activités, parcours militants et résistance au nazisme d'un syndicat international communiste de marins et dockers