9 − trois =