A unitary extension of virtual permutations