Update manu.tex