douze − trois =