Text this: Notas dispersas sobre las aportaciones de Michel Ralle a la historia del movimiento obrero español. Una necrología tardía