Fonction d'exportation dans le module additionnel