trois + 7 =