R'e'ecriture modulo une th'eorie pr'esent'ee par un syst`eme convergent et d'ecidabilit'e du probl`eme du mot dans certaines classes de th'eories 'equationnelles. Th`ese de Doctorat d'Universit'e, Universit'e de Paris-Sud (1993)

by C March'e