Implémentation de #961 : il est maintenant possible de spécifier des machines...

Implémentation de #961 : il est maintenant possible de spécifier des machines ou des domaines pour lesquels le proxy ne doit pas etre utilisé. On en profite pour aller jusqu'au bout de l'usage d'Ajax dans ce cas de configuraiton, mais ça marche toujours sans Ajax (mais comment on n'a pu supporter si longtemps une lenteur pareille dans ce cas?). On en profite aussi pour revoir les libellés, d'une part pour signaler que c'est nécessaire à l'accès à la documentation (on aurait du le faire depuis longtemps) et pour que la validation en mode Ajax soit suivie d'une différence graphique (sinon, on avait l'impression que rien ne s'était passé).

Attention, il y a un gros Hack pour forcer ces modifications dans les libellés, il faut une intégration propre à terme.