It seemed that /etc/X11/app-defaults/XDvi was missing. I purged and reinstalled tetex-base, and it works far better now. Thank you everybody for you help and kindness and courage and devotion and so on. -- Guillaume Infantes