https://www.arduino.cc/en/software/
Dans Arduino IDE :
File > Preferences... > Additional boards manager URLS :
coller :
https://espressif.github.io/arduino-esp32/package_esp32_index.json
https://arduino.esp8266.com/stable/package_esp8266com_index.json
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
Ok
Tools > Board: "..." > Boards manager... >
rechercher : esp32
esp32 by Espressif Systems
Intall
rechercher : esp8266
esp32 by Espressif Systems
Intall
rechercher : pico
Raspberry Pi Pico/RP2040/RP2350 by Earle
Intall
Relancer Arduino IDE
https://arduino-esp8266.readthedocs.io/en/latest/installing.html#using-git-version