18-10-2021, 10:56
Merci pour les abréviations et références dans le pdf, c'est fort utile.
Je note juste que l'on passe un peu bizarrement d'une (élégante) pagination notée dans l'en-tête pour le corps du dictionnaire à une pagination notée dans le pied de page pour les abréviations et références, ce qui donne un résultat composite un peu étrange (les avertissements et remerciements liminaires ne sont pas paginés, mais cela ne pose guère de problème).
E.
Je note juste que l'on passe un peu bizarrement d'une (élégante) pagination notée dans l'en-tête pour le corps du dictionnaire à une pagination notée dans le pied de page pour les abréviations et références, ce qui donne un résultat composite un peu étrange (les avertissements et remerciements liminaires ne sont pas paginés, mais cela ne pose guère de problème).
E.