H. Brezis, Analyse fonctionnelle, Collection Mathématiques Appliquées pour la Maîtrise. [Collection of Applied Mathematics for the Master's Degree, Théorie et applications. [Theory and applications], 1983.

C. Conca, J. San-martín, and M. Tucsnak, Existence of solutions for the equations modelling the motion of a rigid body in a viscous fluid, Comm. Partial Differential Equations, pp.25-1019, 2000.

G. Duvaut and J. L. Lions, Les inéquations en méchanique et en physique, 1972.

D. Gérard-varet and M. Hillairet, Existence of Weak Solutions Up to Collision for Viscous Fluid-Solid Systems with Slip, Communications on Pure and Applied Mathematics, vol.19, issue.12, pp.2022-2075, 2014.
DOI : 10.1002/cpa.21523

D. Gérard-varet, M. Hillairet, and C. Wang, The influence of boundary conditions on the contact problem in a 3D Navier???Stokes flow, Journal de Math??matiques Pures et Appliqu??es, vol.103, issue.1, pp.1-38, 2015.
DOI : 10.1016/j.matpur.2014.03.005

V. Girault and P. Raviart, Finite element approximation of the Navier-Stokes equations, 1979.
DOI : 10.1007/BFb0063447

R. Glowinski, Numerical methods for nonlinear variational problems, Springer series in computational physics, 1984.

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

O. Ladyzhenskaya, The mathematical theory of viscous incomprehensible flow, Gordon and Breach Science Publishers, 1969.

J. Lions, Quelques méthodes de résolution des problèmes aux limites non linéaires, Dunod, 1969.

J. Lions and E. Magenes, Non-homogeneous boundary value problems and applications, 1972.

O. Pironneau, On the transport-diffusion algorithm and its applications to the Navier-Stokes equations, Numerische Mathematik, vol.March, issue.3, pp.309-332, 1982.
DOI : 10.1007/BF01396435

J. San-martín, J. Scheid, and L. Smaranda, A modified Lagrange???Galerkin method for a fluid-rigid system with discontinuous density, Numerische Mathematik, vol.53, issue.2, pp.341-382, 2012.
DOI : 10.1007/s00211-012-0460-1

J. San-martín, J. Scheid, T. Takahashi, and M. Tucsnak, Convergence of the Lagrange--Galerkin Method for the Equations Modelling the Motion of a Fluid-Rigid System, SIAM Journal on Numerical Analysis, vol.43, issue.4, pp.1536-1571, 2005.
DOI : 10.1137/S0036142903438161

J. A. San-martín, V. Starovoitov, and M. Tucsnak, Global Weak Solutions??for the Two-Dimensional Motion??of Several Rigid Bodies??in an Incompressible Viscous Fluid, Archive for Rational Mechanics and Analysis, vol.161, issue.2, pp.113-147, 2002.
DOI : 10.1007/s002050100172

E. Süli, Convergence and nonlinear stability of the Lagrange-Galerkin method for the Navier-Stokes equations, Numerische Mathematik, vol.10, issue.4, pp.459-483, 1988.
DOI : 10.1007/BF01396329

R. Temam, Navier Stokes Equations: Theory and Numerical Analysis, Journal of Applied Mechanics, vol.45, issue.2, 1984.
DOI : 10.1115/1.3424338