Adds navigation buttons between arXiv and ar5iv pages
Version au 19/05/2025. Voir la dernière version.
