Rajout d'un Uplus, pour pouvoir bien typer une expression de la forme +x