Reduction #inutile