Remplacement de toutes les phrases du style « Dernière modification le
... [par ...] » par <date value="from git" />, qui produit une phrase du
genre à partir de l'historique du dépôt. Le « from git » n'a pas
d'importance, c'est juste parce que la DTD de TML (que je préfère ne pas
changer) exige un attribut value.
Last-change: ignore this commit
1) insertion de balises <date value="$Date$"/>
2) remplacement des espaces insécables par des
3) insertion d'espaces insécables autour des guillemets français
de Baptiste adns le mail de tuteurs) et plus complète (ajout d'un blabla
sur les types de clef, à noter qu'il faudra modifier la page quand (si)
on passe à SSH2). Le passage sur ssh-agent reste un peu incertain pour
moi.