Mise à jour de la base de données, veuillez patienter...

Un éditeur de texte qui a l'air sympa, avec des plugins. Ça pourrait remplacer Geany que j'utilise habituellement.
(Permalink)