fin d'unification des types pour corriger les erreurs de compilation