Correction d'un bug qui faisait que, en version `draft', tout le document était
en \scriptsize.
Propagation des modifications des fichiers sources vers les fichiers compilés.