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

P. Alart and A. Curnier, A generalized Newton method for contact problems with friction, J. de Mécanique Théorique et Appliquée, vol.7, pp.67-82, 1988.
URL : https://hal.archives-ouvertes.fr/hal-01433772

D. Arnold, An Interior Penalty Finite Element Method with Discontinuous Elements, SIAM Journal on Numerical Analysis, vol.19, issue.4, pp.742-760, 1982.
DOI : 10.1137/0719052

M. Ayadi, M. K. Gdoura, and T. Sassi, Mixed formulation for Stokes problem with Tresca friction, Comptes Rendus Mathematique, vol.348, issue.19-20, pp.1069-1072, 2010.
DOI : 10.1016/j.crma.2010.10.001

L. Baillet and T. Sassi, M??thode d'??l??ments finis avec hybridisation fronti??re pour les probl??mes de contact avec frottement, Comptes Rendus Mathematique, vol.334, issue.10, pp.917-922, 2002.
DOI : 10.1016/S1631-073X(02)02356-7

L. Baillet and T. Sassi, Mixed finite element methods for the Signorini problem with friction, Numerical Methods for Partial Differential Equations, vol.331, issue.6, pp.1489-1508, 2006.
DOI : 10.1002/num.20147
URL : https://hal.archives-ouvertes.fr/insu-00355157

R. Becker, P. Hansbo, and R. Stenberg, A finite element method for domain decomposition with non-matching grids, ESAIM: Mathematical Modelling and Numerical Analysis, vol.37, issue.2, pp.209-225, 2003.
DOI : 10.1051/m2an:2003023
URL : https://hal.archives-ouvertes.fr/inria-00073065

S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, Texts in Applied Mathematics, vol.15, 2007.

F. Chouly and P. Hild, A Nitsche-Based Method for Unilateral Contact Problems: Numerical Analysis, revision in SIAM J. Numer. Anal, 2012.
DOI : 10.1137/12088344X
URL : https://hal.archives-ouvertes.fr/hal-00717711

F. Chouly and P. Hild, On convergence of the penalty method for unilateral contact problems, Applied Numerical Mathematics, vol.65, pp.27-40, 2013.
DOI : 10.1016/j.apnum.2012.10.003
URL : https://hal.archives-ouvertes.fr/hal-00688641

F. Chouly, P. Hild, and Y. Renard, Symmetric and non-symmetric variants of Nitsche???s method for contact problems in elasticity: theory and numerical experiments, Mathematics of Computation, vol.84, issue.293, 2013.
DOI : 10.1090/S0025-5718-2014-02913-X

P. G. Ciarlet, The finite element method for elliptic problems, in: Handbook of Numerical Analysis, pp.17-352, 1991.

P. Dörsek and J. M. Melenk, Adaptive hp-FEM for the contact problem with Tresca friction in linear elasticity: The primal???dual formulation and a posteriori error estimation, Applied Numerical Mathematics, vol.60, issue.7, pp.60-689, 2010.
DOI : 10.1016/j.apnum.2010.03.011

T. Dupont and R. Scott, Polynomial approximation of functions in Sobolev spaces, Mathematics of Computation, vol.34, issue.150, pp.441-463, 1980.
DOI : 10.1090/S0025-5718-1980-0559195-7

G. Duvaut and J. L. Lions, Les inéquations en mécanique et en physique, Travaux et Recherches Mathématiques, issue.21, 1972.

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

A. Fritz, S. Hüeber, and B. I. Wohlmuth, A comparison of mortar and Nitsche techniques for linear elasticity, Calcolo, vol.41, issue.3, 2003.
DOI : 10.1007/s10092-004-0087-4

A. Fritz, S. Hüeber, and B. I. Wohlmuth, A comparison of mortar and Nitsche techniques for linear elasticity, Calcolo, vol.41, issue.3, pp.115-137, 2004.
DOI : 10.1007/s10092-004-0087-4

R. Glowinski, Lectures on numerical methods for non-linear variational problems, Lectures on Mathematics and Physics, Published for the Tata Institute of Fundamental Research, 1980.

R. Glowinski and P. L. Tallec, Augmented Lagrangian and operator-splitting methods in nonlinear mechanics, SIAM Studies in Applied Mathematics, Society for Industrial and Applied Mathematics (SIAM), vol.9, 1989.
DOI : 10.1137/1.9781611970838

W. Han and M. Sofonea, Quasistatic contact problems in viscoelasticity and viscoplasticity, AMSIP Studies in Advanced Mathematics, vol.30, 2002.

A. Hansbo and P. Hansbo, A finite element method for the simulation of strong and weak discontinuities in solid mechanics, Computer Methods in Applied Mechanics and Engineering, vol.193, issue.33-35, pp.3523-3540, 2004.
DOI : 10.1016/j.cma.2003.12.041

P. Hansbo, Nitsche's method for interface problems in computational mechanics, GAMM- Mitt, pp.183-206, 2005.
DOI : 10.1002/gamm.201490018

J. Haslinger and I. Hlavá?ek, Approximation of the Signorini problem with friction by a mixed finite element method, Journal of Mathematical Analysis and Applications, vol.86, issue.1, pp.99-122, 1982.
DOI : 10.1016/0022-247X(82)90257-8

J. Haslinger, I. Hlavá?ek, and J. Ne?as, Numerical methods for unilateral problems in solid mechanics, Lions), volume IV, pp.313-385, 1996.
DOI : 10.1016/S1570-8659(96)80005-6

J. Haslinger and T. Sassi, Mixed finite element approximation of 3D contact problems with given friction: Error analysis and numerical realization, ESAIM: Mathematical Modelling and Numerical Analysis, vol.38, issue.3, pp.563-578, 2004.
DOI : 10.1051/m2an:2004026

P. Heintz and P. Hansbo, Stabilized Lagrange multiplier methods for bilateral elastic contact with friction, Computer Methods in Applied Mechanics and Engineering, vol.195, issue.33-36, pp.4323-4333, 2006.
DOI : 10.1016/j.cma.2005.09.008

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

N. Kikuchi and Y. J. Song, Penalty/finite-element approximations of a class of unilateral problems in linear elasticity, Quarterly of Applied Mathematics, vol.39, issue.1, pp.1-22, 1981.
DOI : 10.1090/qam/613950

T. A. Laursen, Computational contact and impact mechanics, 2002.
DOI : 10.1007/978-3-662-04864-1

J. L. Lions and G. Stampacchia, Variational inequalities, Communications on Pure and Applied Mathematics, vol.15, issue.3, pp.493-519, 1967.
DOI : 10.1002/cpa.3160200302

Y. Renard, Generalized Newton???s methods for the approximation and resolution of frictional contact problems in elasticity, Computer Methods in Applied Mechanics and Engineering, vol.256, 2012.
DOI : 10.1016/j.cma.2012.12.008

R. Stenberg, On some techniques for approximating boundary conditions in the finite element method, International Symposium on Mathematical Modelling and Computational Methods Modelling 94, pp.139-148, 1994.
DOI : 10.1016/0377-0427(95)00057-7

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

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

P. Wriggers and G. Zavarise, A formulation for frictionless contact problems using a weak form introduced by Nitsche, Computational Mechanics, vol.42, issue.1-3, pp.41-407, 2008.
DOI : 10.1007/s00466-007-0196-4