AXA ring lock attached to the frame, front side of the seat stays. that closes around the rear rim/tire.

a chain made for the purpose by them, has a loop link on the end,
so the pin fitting and chain passes thru it, and around the fixed object,
and the pin goes in a locking catch on the right side of the lock,
opposite the key cylinder.