Définition de unificateur pour votre recherche unificatrice