Bonsoir !
Voici une référence que j’ai trouvée dans la documentation officielle de Debian.
Malheureusement pour moi, elle semble aller dans le sens des interventions que j’ai pu recueillir ici, même si elle ne concerne pas spécifiquement le Live USB…
En tous cas je vous remercie tous pour vos réponses et vos conseils. Même si je n’ai plus beaucoup de temps à consacrer à ce PC actuellement, je garde soigneusement les références que vous m’avez partagées, pour le jour où…