KillianKemps 12 oct. 2022, 09:59 Éditeur de texte moderne et léger ? Possibilité d'extensions. Raccourcis vim-like ?