Mise à jour de TODOs.
La page de titre en anglais figurant dans la documentation est désormais
correcte.
Propagation des modifications des fichiers sources vers les fichiers compilés.