src/TeXmacs/misc/images
