Update tache7.tex