Démarrer son PC depuis un disque vinyle : c'est inutile, mais ça marche