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/
