Ce site est mort

Plutôt que choisir archive.org, je maintiens l’environnement technique.
Plus aucune publication depuis des années.
Pas d’envie de s’y remettre. Comme tous les autres projets.

Je vous laisse là dessus.