réduction

expand_less