Update tache7.tex

Idem