<2012-08-19> Ajout copie dans le répertoire dist des fichiers d'image spécifiques au manuel et allemand.
Authored by: vincentb1 2012-08-19
Parent: [r1533]
Child: [r1535]
