Cody Roux: Size-based termination: Semantics and generalizations. (Terminaison à base de tailles: Sémantique et généralisations). Henri Poincaré University, Nancy, France 2011