ajout de la fonction bindable, modif de l'implementation de double_bind et correction de bind