Je n’ai pas essayé de nettoyer à la main car le dossier Prefetch comprend une trentaine de lignes et je ne sais pas laquelle je dois supprimer ou peut-être toutes

En principe tous les fichiers du dossier prefetch peuvent être supprimés à tout moment, ce dossier agissant juste comme un cache. Je ne sais (et n’ose imaginer que ce soit le cas) si les fichiers correspondant à des utilitaires en cours d’utilisation sont verrouillés et donc impossibles à effacer. J’imagine que ce n’est pas le cas. Reste que le bon moment pour lancer ce grand nettoyage devrait être juste après un reboot (et bien sur rebooter après mais ça c’est le niveau 0 des litanies locales). Ensuite désinstaller opencpn et l’installer à nouveau.

Ah, il y a aussi la possibilité de partir d’une sauvegarde faite à l’époque où ça marchait de manière nominale.

Je ne m’explique pas que ça soit retombé en marche avant de retomber en panne à nouveau, un reboot entre temps, peut-être ?

Comme toujours quand on ne sait pas trop, on ratisse très large et un peu n’importe comment
Désolé