68tjs:
...
A noter que le greffon pour l'ESP32 s'installe lui dans le répertoire "Arduino" qui contient les sources des programmes. Espressif prend des libertés avec l'organisation Arduino.
Bonjour 68tjs
Chez moi "l'esp32" s'installe dans le sous dossier hardware du "carnet de croquis" 8)
et ce n'est pas le seul "à faire çà"
Je ne suis pas sur qu'il existe une vraie doctrine documentée "Arduino" concernant l'organisation de qui doit aller où 
ça me rappelle un ancienne discussion concernant "les priorités " de recherches induites par l'IDE des libs homonymes