use RndManager
simplify one assertion
test 3-elt rnd