En même temps, si son lecteur est briqué (et non "bridée"
) car il a loupé son flash, je vois pas comment récupérer ça. Il ne faut jamais flasher un lecteur avec une disquette. Il faut toujours utiliser une clé USB ou un disque dur en FAT32. Flasher avec une disquette, c'est aimer le risque.