Étude des systèmes de réécriture conditionnels et applications aux types abstraits algébriques — Jean-Luc Rémy