Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible.