Etape 1 : Ajouter l'url des cartes
Pour ajouter, les cartes supplémentaires, il faut aller dans Fichier -> Préférences :
http://arduino.esp8266.com/stable/package_esp8266com_index.json
Etape 2 : Maintenant allez dans Outils -> Type de carte -> Gestion de carte
Sélectionner et installer Esp8266 community
Maintenant, vous pouvez programmer l'esp8266.
Une fois télécharger Esp8266, fermer toutes les fenêtres de l'ide arduino ide et relancer ide.
Source : https://learn.sparkfun.com/tutorials/esp8266-thing-hookup-guide/installing-the-esp8266-arduino-addon