Elementary_polyhedra loading ...