Wow, on peut enfin faire dans Eclipse ce qui existe dans VS Code (par exemple), c’est-à-dire avoir des décorations *dans\* l’éditeur de texte. C’est chouette !