Depuis la publication de mon précédent message, la version de TexMaker a évolué : elle est passée de 4.4.1 à 4.2. Je n'ai pas encore installé cette dernière version et je ne peux donc pas vous dire ce qu'elle apporte de plus. Ceux qui veulent des précisions...

Depuis que je travaille en LaTeX, j'utilise le très bon éditeur TeXMaker (de Pascal Brachet) associé à MikTeX. J'avais une vieille version de TeXMaker sur mon ordinateur qui venait d'une installation au moyen de UsbTeX (qui a disparu de la circulation...