+ trois = 7