Sur la théorie des equations logiques