DOC: update preferences section in TXM manual

FR:

Comprimer la section des prefs 11-18.

(from redmine: issue id 1134, created on 2014/11/18 by Serge Heiden)