Heuer Pusher Autavia Vintage Originale NOS

They are 9.85mm long.

eBay