Librairies ESP32 pas trouvées

Bonjour,
Je suis ce tuto:
https://projetsdiy.fr/esp32-cam-flash-firmware-test-domoticz-jeedom-home-assistant-nextdom-node-red/

J’ai bien rajouté la ligne « https://dl.espressif.com/dl/package_esp32_index.json » et je suis bien arrivé à installer le SDK et les cartes, je peux sélectionner ESP32-Wrover comme type de carte.

Mais je n’arrive pas à trouver les librairies, par exemple « esp_event_loop.h »,
« esp_log.h », ou « esp_timer.h », etc… qu’il faut installer avant de téléverser le programme.

Quelqu’un peut-il me dire pourquoi je ne vois pas ces librairies depuis le Gestionnaire de Bibliothèques ??
Merci