polytope semi-ouvert