Fix de certain TODO dans procstochs.tex