Traduire une condition sur une grandeur