4 + trois =