Rename chap3.tex to notions.tex