Qualité d'un ensemble de régles : élimination des régles redondantes