Fix a typo in the space requirements on p30.
Update and improve the proposition for the computation of Phi_tau.