Besoin d'un pipeline pour nettoyer les raccourcis typo rajoutés en plugin
La fonction couper() de inc/texte.php ne supprime pas les raccourcis typographiques qui ont pu être rajoutés par un plugin.
Ci-joint un exemple de besoin par rapport au plugin barre typo enrichie