7 − trois =