Famille Michon, le 03/09/2013 à 14:41
Un éditeur LaTeX (multiplateforme, libre) qui affiche le résultat sous forme de PDF, embarque une documentation LaTeX, propose l'autocomplétion, et tout un tas d'autres fonctionnalités intéressantes.
(Permalink)