Je n'ai jamais utilisé ce logiciel, mais en chercheant un peu sur DuckDuckGo, j'ai trouvé "Kile".