En mathématiques, un polytope 4-polytope régulier convexe -LRB- ou polychoron -RRB- est un polytope à quatre dimensions qui est à la fois régulier et convexe.
Puisque les limites de chacune de ces figures est topologiquement équivalente à une sphère 3, dont la caractéristique d'Euler est nulle, nous avons l'analogue en 4 dimensions de la formule polyédrique d'Eulers :