  By introducing a refinement of the Goldman-Turaev Lie bialgebra, we interpret
the divergence cocycle in the Kashiwara-Vergne problem and the Enomoto-Satoh
obstructions for the surjectivity of the Johnson homomorphisms as some part of
a regular homotopy version of the Turaev cobracket.
