Routine de sortie

@Pathe Merci, je n'avais pas vu le paragraphe sur le code, je vais essayer de m'améliorer !

@PaulGaborit Je ne comprends pas, je me demandais juste si cette méthode utilisée notamment pour l'option excludeordu package everyhook était valable (l'auteur de ce package parle d'option plutôt expérimentale) et si elle pouvait être utilisée autour de la boîte \@labels.

Dans l'affirmative, les ancres des théorèmes et item de hyperref pourraient y être placées, juste une idée. En particulier, un amsthm qui démarre par une liste ne serait plus un problème. Mais si la boîte \@labels contient une ancre alors que TeX appelle la routine de sortie...

\@labels (box) est utilisé par \item pour stocker l'étiquette (label) et ceci juste pour un petit moment (avant que latex commence la composition de paragraphe), donc si vous voulez sauvegarder son contenue la bonne place est lors ou juste après \item sinon il sera trop tard.

@touhami Je crois que la commande \@item est construite de sorte que \@labels est vide lorsque TeX appelle la routine de sortie. La commande \item peut donc, sans problème, être appelée pour un pied pied de page.

Mais supposons que l'on demande à la commande \refstepcounter qui intervient dans le texte de remplacement de \@thm (ltthm.dtx) de placer une ancre dans \@labels ; comme \refstepcounter intervient avant \item[...] lors d'un \begin{thm}, il est possible que TeX appelle la routine au niveau du \addpenalty\@beginparpenalty alors que \@labels n'est pas vide !

D'ailleurs, il me semble qu'à cette heure la situation suivante peut se produire : \begin{thm} entraîne via \refstepcounter le dépôt d'une ancre dans la liste verticale, avant \item[...] ; donc si TeX coupe au niveau du \@beginparpenalty, le théorème se trouve sur une page et le lien renvoie à la page précédente.

Sauf si l'on utilise amsthm ; en effet, hyperref place alors l'ancre via everypar juste avant \unhbox\@labels. Mais c'est alors problématique si l'on souhaite commencer un théorème par une liste (car le \item de la liste redéfini everypar et adieu l'ancre...).

c'est plus clair maintenant.

J'ai relu hier soir la documentation du package everyhook et l'auteur précise (je n'avais pas vu) que son option excludeor basée sur la méthode \output\expandafter{\expandafter\save\expandafter\the\output\restore} peut aider à éviter les catastrophes mais peut poser problème avec d'autres packages qui modifient également la routine.

Donc à éviter autant que possible, je ne sais pas...

Je pensais à une autre façon en ajoutant un interrupteur dans \@thm et en revoyant les définitions de \item, \refstepcounter et \hyper@refstepcounter données par hyperref, mais c'est lourd.

Voulez-vous utiliser amsthm ou non? Dans les deux cas pas besoin de modifier \output.

@bcfp Encore une fois, votre question n'est pas claire car vous n'expliquez toujours pas à quoi tout cela doit servir au final !

@bcfp Je souscris aux remarques de @Paul Gaborit : la demande est obscure et j'ai l'impression que tu cherches midi à 14 heures !

Je cherche une méthode pour pallier le défaut mentionné entre autres sur le site tex.stackexchange (lien après la réponse de touhami).

Des intervenants proposent diverses méthodes de contournements : utiliser ntheorem plutôt que amsthm ou encore utiliser la commande \phantomsection.

Puis l'auteur du package hyperref revient sur l'utilisation de \phantomsection en invoquant la commande \autoref et propose une solution locale.

En plus de ce problème lié à l'utilisation de amsthm (un problème d'ailleurs mentionné dans la notice de ce package), si l'on utilise le package ntheorem, je crois qu'il est possible que TeX appelle la routine de sortie entre le moment où hyperref dépose l'ancre et le moment où la boîte \@labels contenant l'étiquette est posée (au niveau du \addpenalty\@beginparpenalty qui apparaît dans le texte de remplacement de \@item), donc éventuellement de se retrouver avec un théorème écrit sur une page et un lien qui renvoie à la page précédente. Non ?

Je me disais alors que peut-être hyperref pourrait déposer les ancres des item et théorèmes à l'intérieur de la boîte \@labels, ce qui réglerait peut-être tous ces soucis...

Mais, en revenant sur l'utilisation du package ntheorem, si l'on dépose l'ancre du théorème dans la boîte \@labels au niveau du \refstepcounter, rebelote, TeX peut appeler la routine de sortie au niveau du \addpenalty\@beginparpenalty de la commande \@item alors que la boîte \@labels n'est pas vide, ce qui est gênant car un item en pied de page par exemple va dire (via \@item) : \global\setbox\@labels\hbox{**\unhbox\@labels**...} !

D'où ma question initiale : la méthode autour de \output que j'ai mentionnée au tout début, une méthode que je tire du package everyhook, vous semble-t-elle acceptable ?

Mais finalement je crois que l'on peut faire autrement, s'arranger pour mettre l'ancre dans la boîte \@labels après le \addpenalty\@beginparpenalty et éviter un recours à cette manipulation.

C'est peut-être chercher midi à 14h effectivement, je ne sais pas...

En tout cas merci pour vos réponses et commentaires.