Le premier disque dur pesait près d'une tonne — Anecdota