Continuous first order logic for unbounded metric structures - Itaï Ben Yaacov (2009)