lint).'; $lang['lint_o_off'] = 'désactivé — linter non chargé, pas de bouton de bascule'; $lang['lint_o_inactive'] = 'inactif — bouton de bascule présent, superpositions masquées'; $lang['lint_o_on'] = 'activé — superpositions visibles immédiatement';