Aide Installation ESP32 Arduino

la question ne correspond pas exactement a titre du fil .....(ESP32)

causes probables de l'absence des outils pour une plateforme supplémentaire :

-URL mal saisie par l'utilisateur

-URL mal formatées par l'IDE dans le fichier Préférences.txt voir ce fil de discussion

-serveur non disponible (panne, mise à jour ...)