We derive a compactness property in the Sobolev space $W^{1,1}(\O)$ in order to study the Dirichlet problem for the eikonal equation \begin{displaymath} \begin{cases} \ha |\n u(x)|^2 - a(x) = 0 & \ \textrm{in} \ \O\cr ...