Texmaker

 C'est une application fonctionnant sous Linux.

 Installation du paquet sous Debian :

 $ apt-get install texmaker