trois − 3 =