Highlight.getstylename (gb.eval)?

Ce symbole n'existe pas.