update lezIX.tex