[Tutti-commits] 03/05: amélioration de l'API d'export