2013-Journees-PPS.tex: probably the final version.