src/TeXmacs/texts/test
