Universality of some C*-algebra generated by a unitary and a self-adjoint idempotent