Le serveur a déménagé

Cher visiteur, le contenu qui se trouvait autrefois à cette adresse a été déplacé. La machine que vous consultez en ce moment continue de fonctionner pour quelques usages privés, mais elle ne sert plus de site public.

Vous trouverez les nouvelles pages, mises à jour et un peu plus soignées qu'avant, à l'adresse suivante :

Aucune redirection automatique n'est en place — il vaut mieux que les anciens liens soient corrigés à la main, calmement.

Post-scriptum : si vous étiez abonné au flux RSS, il a également déménagé. Pensez à mettre à jour votre lecteur.