Prolongations of convenient Lie algebroids

We first define the concept of Lie algebroid in the convenient setting. In reference to the finite dimensional context, we adapt the notion of prolongation of a Lie algebroid over a fibred manifold to a convenient Lie algebroid over a fibred manifold. Then we show that this construction is stable under projective and direct limits under adequate assumptions.