1: \begin{abstract} We are interested in existence results for second order differential inclusions, involving finite number of unilateral constraints in an abstract framework. These constraints are described by a set-valued operator, more precisely a proximal normal cone to a time-dependent set. In order to prove these existence results, we study an extension of the numerical scheme introduced in \cite{Maury} and prove a convergence result for this scheme.

2: \end{abstract}

3: