[Tutti-commits] 09/09: modif du nom par défaut des fichiers d'export (refs #8013)