13 − trois =