trois + dix =