Bon, je ne sais pas si les recompilations ont servi à qqch, mais ça semble
refonctionner. Il fallait se précipiter sur "réglages" pour paramétrer
texomaker et éviter l'erreur de segmentation.
Même "quitter" provoquait l'erreur auparavant, maintenant qu'un nouveau fichier
2013.xml me sert de base, ça semble être ok. Je peux quitter proprement.
--
Didier Hérisson