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
Il ne reste qu'à rajouter des liens vers les rubriques des numéros 8-12,
les liens vers articles "hors-rubriques" de ces numéros, et enfin de
peaufiner la page docs/hublot/
