unification des signatures des fonctions dans les deux implémentations