douze − cinq =