Update girrault.tex

лишняя запятая