M. Ainsworth, A. Allendes, G. R. Barrenechea, and R. Rankin, On the Adaptive Selection of the Parameter in Stabilized Finite Element Approximations, SIAM Journal on Numerical Analysis, vol.51, issue.3, pp.3-1585, 2013.
DOI : 10.1137/110837796

M. Ainsworth and J. Oden, A Posteriori Error Estimators for the Stokes and Oseen Equations, SIAM Journal on Numerical Analysis, vol.34, issue.1, pp.228-245, 1997.
DOI : 10.1137/S0036142994264092

I. Anjam, M. Nokka, and S. I. And-repin, On a posteriori error bounds for approximations of the generalized Stokes problem generated by the Uzawa algorithm, Russian Journal of Numerical Analysis and Mathematical Modelling, vol.27, issue.4, pp.321-338, 2012.
DOI : 10.1016/j.apnum.2004.09.005

M. Arioli, J. Liesen, A. Mi-'edlar, and Z. Strako?, Interplay between discretization and algebraic computation in adaptive numerical solutionof elliptic PDE problems, GAMM-Mitteilungen, vol.36, issue.1, pp.102-129, 2013.
DOI : 10.1002/nme.1620240206

D. N. Arnold, F. Brezzi, and M. Fortin, A stable finite element for the stokes equations, Calcolo, vol.21, issue.4, pp.337-344, 1984.
DOI : 10.1007/BF02576171

K. J. Arrow, L. Hurwicz, H. B. Uzawa, S. M. Chenery, S. Johnson et al., Studies in linear and non-linear programming. With contributions by H, Stanford Mathematical Studies in the Social Sciences, 1958.

C. Bacuta, A Unified Approach for Uzawa Algorithms, SIAM Journal on Numerical Analysis, vol.44, issue.6, pp.2633-2649, 2006.
DOI : 10.1137/050630714

URL : https://hal.archives-ouvertes.fr/hal-01382197

R. E. Bank and B. D. Welfert, A Posteriori Error Estimates for the Stokes Problem, SIAM Journal on Numerical Analysis, vol.28, issue.3, pp.3-591, 1991.
DOI : 10.1137/0728033

E. Bänsch, P. Morin, and R. H. Nochetto, An Adaptive Uzawa FEM for the Stokes Problem: Convergence without the Inf-Sup Condition, SIAM Journal on Numerical Analysis, vol.40, issue.4, pp.1207-1229, 2002.
DOI : 10.1137/S0036142901392134

R. Becker, An adaptive finite element method for the Stokes equations including control of the iteration error, In ENUMATH World Sci. Publ., River Edge NJ, vol.97, pp.609-620, 1998.

R. Becker, C. Johnson, and R. Rannacher, Adapative Fehlerkontrolle f??r Finite-Elemente-Mehrgitter-Methoden, Computing, vol.54, issue.4, pp.271-288, 1995.
DOI : 10.1007/978-3-662-02427-0

M. Bercovier and O. Pironneau, Error estimates for finite element method solution of the Stokes problem in the primitive variables, Numerische Mathematik, vol.65, issue.2, pp.211-224, 1979.
DOI : 10.1007/BF01399555

D. Boffi, F. Brezzi, and M. Fortin, Mixed finite element methods and applications, of Springer Series in Computational Mathematics, 2013.
DOI : 10.1007/978-3-642-36519-5

D. Braess, V. Pillwein, and J. Schöberl, Equilibrated residual error estimates are p-robust, Computer Methods in Applied Mechanics and Engineering, vol.198, issue.13-14, pp.13-14, 2009.
DOI : 10.1016/j.cma.2008.12.010

URL : http://www.risc.uni-linz.ac.at/publications/download/risc_3414/ho_equilibrated.pdf

J. H. Bramble, J. E. Pasciak, and A. Vassilev, Analysis of the Inexact Uzawa Algorithm for Saddle Point Problems, SIAM Journal on Numerical Analysis, vol.34, issue.3, pp.3-1072, 1997.
DOI : 10.1137/S0036142994273343

F. Brezzi, D. , J. , and J. , Stabilized mixed methods for the Stokes problem, Numerische Mathematik, vol.36, issue.1-2, pp.1-2, 1988.
DOI : 10.1007/BF01395886

F. Brezzi and R. S. Falk, Stability of Higher-Order Hood???Taylor Methods, SIAM Journal on Numerical Analysis, vol.28, issue.3, pp.3-581, 1991.
DOI : 10.1137/0728032

F. Brezzi and J. Pitkäranta, On the Stabilization of Finite Element Approximations of the Stokes Equations, Efficient solutions of elliptic systems, pp.11-19, 1984.
DOI : 10.1007/978-3-663-14169-3_2

C. Carstensen and S. A. Funken, A posteriori error control in low-order finite element discretisations of incompressible stationary flow problems, Mathematics of Computation, vol.70, issue.236, pp.236-1353, 2001.
DOI : 10.1090/S0025-5718-00-01264-3

X. Cheng and J. Zou, An Inexact Uzawa-Type Iterative Method For Solving Saddle Point Problems, International Journal of Computer Mathematics, vol.4, issue.1, pp.55-64, 2003.
DOI : 10.1093/imanum/4.4.441

P. Destuynder and B. Métivet, Explicit error bounds in a conforming finite element method, Mathematics of Computation, vol.68, issue.228, pp.1379-1396, 1999.
DOI : 10.1090/S0025-5718-99-01093-5

M. Dobrowolski, On the LBB condition in the numerical analysis of the Stokes equations, Applied Numerical Mathematics, vol.54, issue.3-4, pp.3-4, 2005.
DOI : 10.1016/j.apnum.2004.09.005

C. R. Dohrmann and P. B. Bochev, A stabilized finite element method for the Stokes problem based on polynomial pressure projections, International Journal for Numerical Methods in Fluids, vol.46, issue.2, pp.183-201, 2004.
DOI : 10.1002/fld.752

V. Dolej?í, A. Ern, and M. Vohralík, $hp$-Adaptation Driven by Polynomial-Degree-Robust A Posteriori Error Estimates for Elliptic Problems, SIAM Journal on Scientific Computing, vol.38, issue.5, pp.5-3220, 2016.
DOI : 10.1137/15M1026687

W. Dörfler and M. Ainsworth, Reliable a posteriori error control for nonconformal finite element approximation of Stokes flow, Math. Comp, vol.74, pp.252-1599, 2005.

J. Douglas, J. , W. , and J. P. , An absolutely stabilized finite element method for the Stokes problem, Mathematics of Computation, vol.52, issue.186, pp.186-495, 1989.
DOI : 10.1090/S0025-5718-1989-0958871-X

H. C. Elman and G. H. Golub, Inexact and Preconditioned Uzawa Algorithms for Saddle Point Problems, SIAM Journal on Numerical Analysis, vol.31, issue.6, pp.1645-1661, 1994.
DOI : 10.1137/0731085

URL : http://www.cs.umd.edu/~elman/papers/inexact-uzawa.pdf

H. C. Elman, D. J. Silvester, and A. J. Wathen, Finite elements and fast iterative solvers: with applications in incompressible fluid dynamics, Numerical Mathematics and Scientific Computation, 2014.
DOI : 10.1093/acprof:oso/9780199678792.001.0001

A. Ern and M. Vohralík, Adaptive Inexact Newton Methods with A Posteriori Stopping Criteria for Nonlinear Diffusion PDEs, SIAM Journal on Scientific Computing, vol.35, issue.4, pp.1761-1791, 2013.
DOI : 10.1137/120896918

URL : https://hal.archives-ouvertes.fr/hal-00681422

A. Ern and M. Vohralík, Polynomial-Degree-Robust A Posteriori Estimates in a Unified Setting for Conforming, Nonconforming, Discontinuous Galerkin, and Mixed Discretizations, SIAM Journal on Numerical Analysis, vol.53, issue.2, pp.1058-1081, 2015.
DOI : 10.1137/130950100

URL : https://hal.archives-ouvertes.fr/hal-00921583

A. Ern and M. Vohralík, Stable broken H 1 and H(div) polynomial extensions for polynomialdegree-robust potential and flux reconstruction in three space dimensions, 2016.

L. P. Franca and R. Stenberg, Error Analysis of Galerkin Least Squares Methods for the Elasticity Equations, SIAM Journal on Numerical Analysis, vol.28, issue.6, pp.6-1680, 1991.
DOI : 10.1137/0728084

URL : https://hal.archives-ouvertes.fr/inria-00075505

V. Girault, R. , and P. , Finite element methods for Navier-Stokes equations Theory and algorithms, of Springer Series in Computational Mathematics, 1986.

A. Hannukainen, R. Stenberg, and M. Vohralík, A unified framework for a posteriori error estimation for the Stokes problem, Numerische Mathematik, vol.46, issue.272, pp.725-769, 2012.
DOI : 10.1007/s10915-010-9410-1

URL : https://hal.archives-ouvertes.fr/hal-00470131

F. Hecht, New development in freefem++, Journal of Numerical Mathematics, vol.20, issue.3-4, pp.3-4, 2012.
DOI : 10.1515/jnum-2012-0013

URL : https://hal.archives-ouvertes.fr/hal-01476313

T. J. Hughes and L. P. Franca, A new finite element formulation for computational fluid dynamics: VII. The stokes problem with various well-posed boundary conditions: Symmetric formulations that converge for all velocity/pressure spaces, Computer Methods in Applied Mechanics and Engineering, vol.65, issue.1, pp.1-85, 1987.
DOI : 10.1016/0045-7825(87)90184-8

T. J. Hughes, L. P. Franca, and M. Balestra, A new finite element formulation for computational fluid dynamics: V. Circumventing the babu??ka-brezzi condition: a stable Petrov-Galerkin formulation of the stokes problem accommodating equal-order interpolations, Computer Methods in Applied Mechanics and Engineering, vol.59, issue.1, pp.1-85, 1986.
DOI : 10.1016/0045-7825(86)90025-3

P. Jiránek, Z. Strako?, and M. Vohralík, A Posteriori Error Estimates Including Algebraic Error and Stopping Criteria for Iterative Solvers, SIAM Journal on Scientific Computing, vol.32, issue.3, pp.1567-1590, 2010.
DOI : 10.1137/08073706X

D. Kay and D. Silvester, A Posteriori Error Estimation for Stabilized Mixed Approximations of the Stokes Equations, SIAM Journal on Scientific Computing, vol.21, issue.4, pp.1321-1336, 1999.
DOI : 10.1137/S1064827598333715

N. Kechkar and D. Silvester, Analysis of locally stabilized mixed finite element methods for the Stokes problem, Mathematics of Computation, vol.58, issue.197, pp.1-10, 1992.
DOI : 10.1090/S0025-5718-1992-1106973-X

K. Kim, L. , and H. , A posteriori error estimators for nonconforming finite element methods of the linear elasticity problem, Journal of Computational and Applied Mathematics, vol.235, issue.1, pp.186-202, 2010.
DOI : 10.1016/j.cam.2010.05.032

Y. Lin, On an inexact Uzawa-type algorithm for stabilized saddle point problems, International Journal of Computer Mathematics, vol.87, issue.13, pp.13-2945, 2010.
DOI : 10.1090/S0025-5718-01-01324-2

Y. Lin, W. , and Y. , Corrected Uzawa methods for solving large nonsymmetric saddle point problems, Applied Mathematics and Computation, vol.183, issue.2, pp.1108-1120, 2006.
DOI : 10.1016/j.amc.2006.05.122

D. Meidner, R. Rannacher, and J. Vihharev, Goal-oriented error control of the iterative solution of finite element equations, Journal of Numerical Mathematics, vol.4, issue.2, pp.143-172, 2009.
DOI : 10.1137/S003614299732334X

C. C. Paige and M. A. Saunders, Solution of Sparse Indefinite Systems of Linear Equations, SIAM Journal on Numerical Analysis, vol.12, issue.4, pp.617-629, 1975.
DOI : 10.1137/0712047

L. E. Payne and H. F. Weinberger, An optimal Poincar?? inequality for convex domains, Archive for Rational Mechanics and Analysis, vol.5, issue.1, pp.286-292, 1960.
DOI : 10.2140/pjm.1958.8.551

O. Pironneau, Finite element methods for fluids, 1989.

A. Quarteroni and A. Valli, Numerical approximation of partial differential equations, 1994.

R. Rannacher, A. Westenberger, and W. Wollner, Adaptive finite element solution of eigenvalue problems: Balancing of discretization and iteration error, Journal of Numerical Mathematics, vol.4, issue.4, pp.303-327, 2010.
DOI : 10.1023/A:1021930421106

S. I. Repin, Local a posteriori estimates for the Stokes problem, Journal of Mathematical Sciences, vol.24, issue.239
DOI : 10.1007/978-3-0348-7605-6

D. J. Silvester and V. Simoncini, An Optimal Iterative Solver for Symmetric Indefinite Systems Stemming from Mixed Approximation, ACM Transactions on Mathematical Software, vol.37, issue.4, p.22, 2011.
DOI : 10.1145/1916461.1916466

URL : http://eprints.ma.man.ac.uk/1609/01/a42-silvester.pdf

L. Song, Y. Hou, and Z. Cai, Recovery-based error estimator for stabilized finite element methods for the Stokes equation, Computer Methods in Applied Mechanics and Engineering, vol.272, pp.272-273, 2014.
DOI : 10.1016/j.cma.2014.01.004

G. Stoyan, Towards discrete velte decompositions and narrow bounds for inf-sup constants, Computers & Mathematics with Applications, vol.38, issue.7-8, pp.7-8, 1999.
DOI : 10.1016/S0898-1221(99)00254-0

URL : https://doi.org/10.1016/s0898-1221(99)00254-0

C. Taylor and P. Hood, A numerical solution of the Navier-Stokes equations using the finite element technique, Computers & Fluids, vol.1, issue.1, pp.1-73, 1973.
DOI : 10.1016/0045-7930(73)90027-3

R. Verfürth, A posteriori error estimators for the Stokes equations, Numerische Mathematik, vol.4, issue.3, pp.309-325, 1989.
DOI : 10.1007/BF01390056

C. Vincent and R. Boyer, A preconditioned conjugate gradient Uzawa-type method for the solution of the stokes problem by mixed Q1-P0 stabilized finite elements, International Journal for Numerical Methods in Fluids, vol.38, issue.3, pp.289-298, 1992.
DOI : 10.1007/978-3-663-14169-3_2

J. Wang, Y. Wang, Y. , and X. , Unified a posteriori error estimator for finite element methods for the Stokes equations, Int. J. Numer. Anal. Model, vol.10, pp.3-551, 2013.