Merci beaucoup d’avoir pris autant de temps pour votre réponse ! Je m’excuse, mais le problème vient de moi et d’Apple. J’utilise Safari sur un nouveau Mac, et le menu « + » lorsqu’il s’ouvre contient bien l’option TOC, mais elle n’est pas visible dans la liste, et le menu ne fait pas apparaître de barres de défilement que je puisse voir (et elles n’apparaissent que si vous faites défiler). L’alignement vertical du contenu était parfait, comme s’il contenait N-1 éléments au lieu de N. Grrrr. Je l’ai finalement remarqué lorsque j’ai essayé cela dans Chrome, et par hasard, le N-1ème élément était coupé en deux, alors j’ai fait défiler…