Vérifier tous les liens de la doc, internes comme externe

Voir #3349... mais aussi les liens externes : on a encore des liens sur rby !

Faire un script et le mettre en CI. Plus simple à faire sur le résultat (build *.html).

Il y a sûrement des outils qui existent, sinon quelques lignes de python feront bien l'affaire.