R. Adams, Sobolev spaces, Pure and Applied Mathematics, vol.65, 1975.

J. Ahn and D. E. Stewart, Existence of Solutions for a Class of Impact Problems Without Viscosity, SIAM Journal on Mathematical Analysis, vol.38, issue.1, pp.37-63, 2006.
DOI : 10.1137/S0036141004444664

P. Alart and A. Curnier, A generalized Newton method for contact problems with friction, J Mec. Theor. Appl, vol.7, pp.67-82, 1988.
URL : https://hal.archives-ouvertes.fr/hal-01433772

F. Armero and E. Pet?-ocz, Formulation and analysis of conserving algorithms for frictionless dynamic contact/impact problems, Computer Methods in Applied Mechanics and Engineering, vol.158, issue.3-4, pp.269-300, 1998.
DOI : 10.1016/S0045-7825(97)00256-9
URL : https://hal.archives-ouvertes.fr/hal-01435615

T. Belhytschko and M. Neal, Contact-impact by the pinball algorithm with penaly and lagrangian methods, Internat. J. Numer. Methods Engrg, pp.31-547, 1991.

S. Brenner and L. Scott, The mathematical theory of finite element methods, of Texts in Applied Mathematics, 2007.

F. Chouly, An adaptation of Nitsche??s method to the Tresca friction problem, Journal of Mathematical Analysis and Applications, vol.411, issue.1, pp.329-339, 2014.
DOI : 10.1016/j.jmaa.2013.09.019
URL : http://hal.inria.fr/docs/00/78/38/27/PDF/fc-nitsche-tresca.pdf

F. Chouly, M. Fabre, P. Hild, R. Mlika, J. Pousin et al., An Overview of Recent Results on Nitsche???s Method for Contact Problems, Lecture Notes in Computational Science and Engineering, vol.41, issue.1, pp.93-141, 2018.
DOI : 10.1007/s00466-007-0196-4
URL : https://hal.archives-ouvertes.fr/hal-01403003/file/overview-nitsche-contact.pdf

F. Chouly and P. Hild, A Nitsche-Based Method for Unilateral Contact Problems: Numerical Analysis, SIAM Journal on Numerical Analysis, vol.51, issue.2, pp.1295-1307, 2013.
DOI : 10.1137/12088344X
URL : https://hal.archives-ouvertes.fr/hal-00717711

, On convergence of the penalty method for unilateral contact problems, Appl. Numer. Math, vol.10, issue.65, pp.27-40, 2013.

F. Chouly, P. Hild, and Y. Renard, A Nitsche finite element method for dynamic contact: 1. Space semi-discretization and time-marching schemes, ESAIM: Mathematical Modelling and Numerical Analysis, vol.49, issue.2, pp.481-502, 2015.
DOI : 10.1007/s00466-007-0196-4
URL : https://hal.archives-ouvertes.fr/hal-00958695

, A Nitsche finite element method for dynamic contact: 2. Stability of the schemes and numerical experiments, ESAIM Math. Model. Numer. Anal, vol.12, issue.49, pp.503-528, 2015.

, Symmetric and non-symmetric variants of Nitsche's method for contact problems in elasticity: theory and numerical experiments, Math. Comp, vol.84, pp.1089-1112, 2015.

P. Ciarlet, The finite element method for elliptic problems II of Handbook of Numerical Analysis, 1991.

F. Cirak and M. West, Decomposition contact response (DCR) for explicit finite element dynamics, International Journal for Numerical Methods in Engineering, vol.29, issue.8, pp.1078-1110, 2005.
DOI : 10.1007/978-0-387-21789-5_7

G. Cohen and S. Pernet, Finite element and discontinuous Galerkin methods for transient wave equations, Scientific Computation

F. Dabaghi, P. Krej?i, A. Petrov, J. Pousin, and Y. Renard, A weighted finite element mass redistribution method for dynamic contact problems, J. Comp. Appl. Math
URL : https://hal.archives-ouvertes.fr/hal-01237748

F. Dabaghi, A. Petrov, J. Pousin, and Y. Renard, Convergence of mass redistribution method for the one-dimensional wave equation with a unilateral constraint at the boundary, ESAIM: Mathematical Modelling and Numerical Analysis, vol.48, issue.4, pp.1147-1169, 2014.
DOI : 10.1007/BF01762360
URL : https://hal.archives-ouvertes.fr/hal-02074220

, A robust finite element redistribution approach for elastodynamic contact problems, Appl. Numer. Math, vol.103, pp.48-71, 2016.

D. Doyen and A. Ern, Convergence of a space semi-discrete modified mass method for the dynamic Signorini problem, Communications in Mathematical Sciences, vol.7, issue.4, pp.1063-1072, 2009.
DOI : 10.4310/CMS.2009.v7.n4.a13
URL : https://hal.archives-ouvertes.fr/hal-00404248

, Analysis of the modified mass method for the dynamic Signorini problem with Coulomb friction, SIAM J. Numer. Anal, vol.21, issue.49, pp.2039-2056, 2011.

D. Doyen, A. Ern, and S. Piperno, Time-Integration Schemes for the Finite Element Dynamic Signorini Problem, SIAM Journal on Scientific Computing, vol.33, issue.1, pp.223-249, 2011.
DOI : 10.1137/100791440
URL : https://hal.archives-ouvertes.fr/hal-00440128

, Quasi-explicit time-integration schemes for dynamic fracture with set-valued cohesive zone models, Comput. Mech, vol.23, issue.52, pp.401-416, 2013.

C. Eck, J. Jaru?ek, and M. Krbec, Unilateral contact problems, of Pure and Applied Mathematics, 2005.
DOI : 10.1201/9781420027365

A. Ern and J. Guermond, Theory and practice of finite elements, of Applied Mathematical Sciences, 2004.
DOI : 10.1007/978-1-4757-4355-5

C. Hager, S. Hüeber, and B. I. Wohlmuth, A stable energy-conserving approach for frictional contact problems based on quadrature formulas, International Journal for Numerical Methods in Engineering, vol.40, issue.2, pp.918-932, 2008.
DOI : 10.1007/978-3-642-55814-6

E. Hairer, C. Lubich, and G. Wanner, Geometric numerical integration, of Springer Series in Computational Mathematics Structure-preserving algorithms for ordinary differential equations, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01403326

P. Hauret and P. L. Tallec, Energy-controlling time integration methods for nonlinear elastodynamics and low-velocity impact, Computer Methods in Applied Mechanics and Engineering, vol.195, issue.37-40, pp.4890-4916, 2006.
DOI : 10.1016/j.cma.2005.11.005
URL : https://hal.archives-ouvertes.fr/hal-00111458

M. Heinstein, F. Mello, S. Attaway, and T. Laursen, Contact???impact modeling in explicit transient dynamics, Computer Methods in Applied Mechanics and Engineering, vol.187, issue.3-4, pp.621-640, 2000.
DOI : 10.1016/S0045-7825(99)00342-4

H. B. Khenous, P. Laborde, and Y. Renard, Mass redistribution method for finite element contact problems in elastodynamics, European Journal of Mechanics - A/Solids, vol.27, issue.5, pp.918-932, 2008.
DOI : 10.1016/j.euromechsol.2008.01.001
URL : https://hal.archives-ouvertes.fr/hal-00582045

N. Kikuchi and J. T. Oden, Contact problems in elasticity: a study of variational inequalities and finite element methods, SIAM Studies in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), vol.8, 1988.
DOI : 10.1137/1.9781611970845

J. U. Kim, A boundary thin obstacle problem for a wave equation, Communications in Partial Differential Equations, vol.36, issue.8-9, pp.1011-1026, 1989.
DOI : 10.1016/0022-0396(80)90068-6
URL : https://hal.archives-ouvertes.fr/hal-01330421

T. A. Laursen and V. Chawla, DESIGN OF ENERGY CONSERVING ALGORITHMS FOR FRICTIONLESS DYNAMIC CONTACT PROBLEMS, International Journal for Numerical Methods in Engineering, vol.37, issue.5, pp.863-886, 1997.
DOI : 10.1016/0045-7949(90)90324-U
URL : https://hal.archives-ouvertes.fr/hal-01435617

G. Lebeau and M. Schatzman, A wave problem in a half-space with a unilateral constraint at the boundary, Journal of Differential Equations, vol.53, issue.3, pp.309-361, 1984.
DOI : 10.1016/0022-0396(84)90030-5
URL : https://hal.archives-ouvertes.fr/hal-01294216

J. J. Moreau, Unilateral Contact and Dry Friction in Finite Freedom Dynamics, pp.1-82, 1988.
DOI : 10.1007/978-3-7091-2624-0_1
URL : https://hal.archives-ouvertes.fr/hal-01713847

, Numerical aspects of the sweeping process, Comput. Methods Appl. Mech. Engrg, vol.177, pp.329-349, 1999.

N. M. Newmark, A method of computation for structural dynamics, J. Eng. Mech. Div.? ASCE, vol.85, pp.67-94, 1959.

, Uber ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind, pp.9-15, 1971.

L. Paoli and M. Schatzman, Schéma numérique pour un modèle de vibrations avec contraintes unilatérales et perte d'´ energie aux impacts, en dimension finie, C. R. Acad. Sci. Paris Sér. I Math, pp.317-211, 1993.

, Approximation et existence en vibro-impact, C.R. Acad. Sci. Paris Série I, vol.329, pp.1103-1107, 1999.

, A numerical scheme for impact problems. I. The one-dimensional case, SIAM J. Numer . Anal, vol.40, pp.702-733, 2002.

J. , A numerical scheme for impact problems. II. The multidimensional case

, Numer. Anal, vol.40, pp.734-768, 2002.

, Numerical simulation of the dynamics of an impacting bar, Comput. Methods Appl

, Mech. Engrg, vol.196, pp.2839-2851, 2007.

C. Pozzolini, Y. Renard, and M. Salaün, Vibro-impact of a plate on rigid obstacles: existence theorem, convergence of a scheme and numerical simulations, IMA Journal of Numerical Analysis, vol.33, issue.1, pp.261-294, 2013.
DOI : 10.1093/imanum/drr057
URL : https://hal.archives-ouvertes.fr/hal-00812715

Y. Renard, The singular dynamic method for constrained second order hyperbolic equations: Application to dynamic contact problems, Journal of Computational and Applied Mathematics, vol.234, issue.3, pp.906-923, 2010.
DOI : 10.1016/j.cam.2010.01.058
URL : https://hal.archives-ouvertes.fr/hal-01461799

R. A. Ryckman and A. J. Lew, An explicit asynchronous contact algorithm for elastic body-rigid wall interaction, International Journal for Numerical Methods in Engineering, vol.8, issue.2, pp.869-896, 2012.
DOI : 10.1023/A:1020064403005

M. Schatzman, A hyperbolic problem of second order with unilateral constraints: The vibrating string with a concave obstacle, Journal of Mathematical Analysis and Applications, vol.73, issue.1, pp.138-191, 1980.
DOI : 10.1016/0022-247X(80)90026-8
URL : https://hal.archives-ouvertes.fr/hal-01620859

, Unprobì eme hyperbolique du 2` eme ordre avec contrainte unilatérale: la corde vibrante avec obstacle ponctuel, J. Differential Equations, vol.36, pp.295-334, 1980.

T. Schindler and V. Acary, Timestepping schemes for nonsmooth dynamics based on discontinuous Galerkin methods: Definition and outlook, Mathematics and Computers in Simulation, vol.95, pp.95-180, 2014.
DOI : 10.1016/j.matcom.2012.04.012
URL : https://hal.archives-ouvertes.fr/inria-00595460

R. Stenberg, On some techniques for approximating boundary conditions in the finite element method, Journal of Computational and Applied Mathematics, vol.63, issue.1-3, pp.139-148, 1995.
DOI : 10.1016/0377-0427(95)00057-7

J. R. Stewart, A. S. Gullerud, and M. W. Heinstein, Solution verification for explicit transient dynamics problems in the presence of hourglass and contact forces, Computer Methods in Applied Mechanics and Engineering, vol.195, issue.13-16, pp.1499-1516, 2006.
DOI : 10.1016/j.cma.2005.05.043

L. Taylor and D. Flanagan, PRONTO3D: A three-dimensionnal transient solid dynamics program, pp.89-1912, 1989.

V. Thomée, Galerkin finite element methods for parabolic problems, of Springer Series in Computational Mathematics, 1997.
DOI : 10.1007/978-3-662-03359-3

D. Vola, M. Raous, and J. A. Martins, Friction and instability of steady sliding: squeal of a rubber/glass contact, International Journal for Numerical Methods in Engineering, vol.32, issue.10, pp.1699-1720, 1999.
DOI : 10.1007/BFb0067476

B. I. Wohlmuth, Variationally consistent discretization schemes and numerical algorithms for contact problems, Acta Numerica, vol.6, pp.569-734, 2011.
DOI : 10.1016/j.cma.2005.06.003
URL : https://hal.archives-ouvertes.fr/hal-01382364

S. Wolff and C. Bucher, Asynchronous collision integrators: Explicit treatment of unilateral contact with friction and nodal restraints, International Journal for Numerical Methods in Engineering, vol.168, issue.1-2, pp.95-562, 2013.
DOI : 10.1007/s00707-004-0076-3