  We prove that the double shuffle Lie algebra ds, dual to the space of new
formal multiple zeta values, injects into the Kashiwara-Vergne Lie algebra krv
defined and studied by Alekseev-Torossian. The proof is based on a
reformulation of the definition of krv, and uses a theorem of Ecalle on a
property of elements of ds.
