7 + trois =