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
o on organise par opération (lire un fichier, renommer un fichier,
etc.) plutôt que par commande.
o ajout d'exemples
o ajout de commandes (touch) et d'options (tail -f, rm -R, rm -f, rm --)
