Il y a un bug concernant l’usage du plugin notation avec une erreur lors d’une recherche : Erreur d’exécution plugins/auto/ressourcotheque/v2.5.1/inclure/sphinx_rubrique.html Pour contourner le problème, nous avons supprimé une ligne dans le fichier plugins/auto/ressourcotheque/v2.5.1/inclure/sphinx_rubrique.html, la ligne #NOTATION_ETOILE …. Comme nous n’avons pas besoin de la notation pour publimath, pourrait-on faire en sorte que cette ligne soit paramétrable ? Nous ne sommes pas allé plus loin dans l’explication du bug car la notation n’a aucun intérêt pour nous. Voir copie d'écran lors de l'erreur. Compléments : nous avons le projet de migrer notre site [publimath](https://publimath.univ-irem.fr/) vers un [site spip](https://ressourcotheque.apmep.fr/) et nous sommes en train de faire des essais. Comme le plugin ressourcotheque n'est pas encore compatible 4.2, nous sommes en spip 4.0.11.