bjr je veux réduire cette expression
2:3-(x+1:3)