polytope rationnel