13-09-19-Journees-PPS: Final or pre-final version.