[sonic45132]

Dell calls them micro. Like 5090 micro. HP and Lenovo also have them, calling them mini and tiny respectively.

They are about a litre in volume. However they give up the pcie slots for the size.