Update girrault.tex

нужны дефисы. если, конечно, файл правильно собрался...