Following Lasry and Lions, we present some aspects of the existence and uniqueness theory for the mean field games systems, emphasizing the links with optimal control of Hamilton-Jacobi or of Fokker-Planck equations.