Closed krichtof closed 5 years ago
On pourrait aussi passer ce dépôt en "Archivé", ce qui permettrait à Github d'afficher un beau bandeau "Ce dépôt est obsolète".
Mais tant qu'on n'est pas certain que personne n'en aura plus jamais besoin, j'hésite un peu.
Texte mis à jour, avec des améliorations typographiques et des accents sur les majuscules.