Ressources
Des documents et des outils de référence, gardés à jour par des scripts plutôt qu'écrits à la main.
Ce que je publie ici n’est pas du contenu éditorial comme le blog : ce sont des documents de référence, engendrés par des scripts que j’écris et que je vérifie, à partir de sources que je cite. Quand une source change, je relance le script plutôt que de corriger le texte à la main.