src/TeXmacs/misc/pixmaps
