Matched pairs of Lie algebroids

We extend to Lie algebroids the notion variously known as a double Lie algebra (Lu and Weinstein), matched pair of Lie algebras (Majid), or twilled extension of Lie algebras (Kosmann-Schwarzbach and Magri). It is proved that a matched pair of Lie groupoids induces a matched pair of Lie algebroids. Conversely, we show that under certain conditions a matched pair of Lie algebroids integrates to a matched pair of Lie groupoids. The importance of matched pairs of Lie algebroids has been recently demonstrated by Lu.