[math-fun] Platonic regular polyhedra with integer vertices ?