Merci pour ces pistes, j’étais effectivement passé à côté de ce fil. Je comprends de fait qu’il n’y a pas de solution simple.
Pour l’heure, je me suis donc débrouillé en enregistrant la page de la « version imprimable » donnée par Wims en HTML, puis en la convertissant avec Pandoc en fichier TeX :
pandoc document.html -o document.tex
Ce n’est pas la panacée, mais je récupère ainsi une base que je peux retravailler à ma guise, contenant notamment les formules.
Note : pour une raison qui m’échappe, Firefox m’enregistre la page dans l’encodage Windows-1252 alors que je travaille sous Linux. Il faut donc convertir le document en UTF-8 avant transformation avec Pandoc :
iconv -f windows-1252 -t utf-8 page.html > page_utf8.html