x °De ≘ (80 − x × 8/15) °Ré