Update planning.tex