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...