Ditetraeder, (gr. di- + tetra- + -eder), dobbelttetraeder.