Nouvelle description du package babel et fallback au cas où la version de babel
soit trop ancienne (avec avertissement conseillant de mettre à jour).
Propagation des modifications des fichiers sources vers les fichiers compilés.