Fix Prop 7.7, computation of the matrix Phi_tau.