1: \begin{abstract}

2: 

3: Mean-field games (MFGs) are models for large populations of competing rational agents

4: that seek to optimize a suitable functional. In the case of congestion, 

5: this functional takes into account the difficulty of moving in high-density areas. 

6: 

7: Here, we study stationary MFGs with congestion with quadratic or power-like Hamiltonians. 

8: First, using explicit examples, we illustrate two main difficulties: the lack of classical solutions and the existence of 

9: areas with vanishing density. 

10: Our main contribution is 

11: a new variational formulation for MFGs with congestion. This formulation

12: was not previously known, and, thanks 

13: to 

14: it, we prove the existence and uniqueness of solutions. 

15: %Moreover, we use $\Gamma$-convergence techniques to examine the stability of certain 

16: %monotone approximations. 

17: Finally, we consider applications to numerical methods. 

18: \end{abstract}

19: