A: (1, 0, -1) / 2
a, B, C, H, face1, face3, face4, face2, face6, face5, faceACH, faceBCH, arête2, arête1, arête5, arête4, arêteAH, arête3, arêteBH_1, arête6, arête7, arêteBC, arêteAC, arêteCH = Octahedron((1, 0, 0), (1 / 2, 1 / 2, 0), A)
a' = Rotate(a, π / 2, zAxis)
a'_1 = Rotate(a, π, zAxis)
a'_2 = Rotate(a, (3 * π / 2), zAxis)
a'_3 = Rotate(a, π / 2, yAxis)
a'_4 = Rotate(a, ((-π)) / 2, yAxis)
b, D, face7, face8, face9, face10, arête8, arête9, arête10, arête11, arête12, arête13 = Tetrahedron((0, 0, 0), H, B)
liste1: {b, Mirror[b, (0, 0, 0)]}
liste1' = Rotate(liste1, π / 2, zAxis)
liste1'_1 = Rotate(liste1, π, zAxis)
liste1'_2 = Rotate(liste1, (3 * π / 2), zAxis)
f(x) = If[x  <  0.1, 0, If[x  <  0.5, (x - 0.1) / 0.4, 1]]
u = 0.97 (slider from 0 to 1, step 0.01)