Bonjour
L'installation d'ESP32 dans l'environnement Arduino est maintenant (août 2018) grandement simplifiée.
Si dans le Gestionnaire de Cartes (Board manager) l'ESP32 n'apparait pas , procéder
comme indiqué içi pour le faire apparaître et ainsi procéder à l'installation puis aux mises à jour.
il donc désormais possible de procéder comme pour l'ESP8266
L'info a déjà été donnée sur le forum mais vu le titre de ce fil de discussion mieux vaut actualiser !!