Hi Philippe,
it's the tool to adjust the valve excenters. You can easily make it yourself, if nobody (including me) has any to sell.
Just buy a piece of round steel (3mm dia) and bend it according to the supposed contour in your tool box. That's what I did.