Echec de l'installation de l'IDE pour un raspberry pi pico

Pour pouvoir programmer un raspberry pi pico en c c++, j'ai installé l'IDE arduino dernière version (2-3-8) sous windows 10. Le problème concerne l'installation de la carte appropriée suggérée dans " fichier/préférences" qui propose le lien vers earlephilhower (Earle F. Philhower, III) · GitHub / arduino-pico.... car, lorsque je valide cette option (cette carte n'étant pas dans la liste de celles qui sont déjà répertoriées), rien ne se passe. Et, aucun port n'apparait non plus. J'ai déjà désinstallé l'IDE 2 fois au cas où cette solution aurait pu amélioré le fonctionnement. Qui peut m'aider pour pouvoir achever cette installation.
Merci

Après avoir ajouté le lien vers le dépôt de Earle Philhower dans les préférences, il faut :

  • ouvrir le gestionnaire de cartes,
  • dans celui-ci, entrer "rasp" dans le champs de recherche
  • tu dois voir apparaitre une liste de cartes
  • tu cliques sur installer