Nous avons donné les mêmes, mon cher Joseph 
Tu réponds en plus à mon doute de pouvoir faire admettre l'attribut "class" dans le fonctionnement d'execCommand(). Merci et bravo !
Pour afficher le vrai style dans l'éditeur whysiwhyg, une première méthode rapide est de modifier /lib/editor/htmlarea.php vers la ligne §675 en ajoutant explicitement le chargement de la feuille de style locale dans l'en-tête de l'IFRAME:
html += '<style type="text/css" rel="stylesheet" src="<?php echo $CFG->wwwroot ?>/theme/montheme/monstyle.css">\n";
Les styles "custom" sont alors reconnus dans l'éditeur (en principe).
Valéry.