Diminuer de moitié (v.)