Historique du fil

Pour le moment, ces tâches (qui sont purement techniques) sont encore très facilement gérables sur Wikimini et ne représentent donc pas une surcharge de travail en soi. Je suis donc plutôt favorable à ne pas ajouter de bureaucratie (le terme est en l'occurence bien choisi) là où elle n'est pas (encore?) nécessaire.