Hi,
Thanks for all the answers and for the link for the inner tube.
Unfortunately, I was outside trying to fix it.
It took me quite a while at the end: I did not have the good spanner. There were multiple cuts on the inner tube because the puncture was due to a huge piece of glass that was...