Internationella grufarbetarekongressen i Paris.