En fait, le problème était la stupidité de l’utilisateur !
Je l’ajoutais au Thème par défaut. Malheureusement, j’ai oublié que j’utilisais un Thème de développement pour mon propre compte. Zut !
Merci de vous être penché sur la question, et désolé d’avoir perdu votre temps ! C’est un bon TC - il pourrait bénéficier de documentation, non ?