Au LHC, les protons bouclent 11 000 tours par seconde — Anecdota