The Métropole du Grand Paris, or Metropolis of Greater Paris, formally came into existence on January 1, 2016. How large is the Metropole?