  The goal of this paper is, on the one hand, to make available a set of tools
and methods to deal with relaxation and 3D-2D passage with determinant type
constraints, and, on the other hand, to give a complete proof of the 3D-2D
passage by Gamma-convergence under the constraint determinant positive.
