That library is part of the ESP32 arduino core. So, it is included by default. You don’t need to install anything to start using the library. Just make sure you have an ESP32 selected in Tools > Board.
No doubt about it, I asked a very silly question... Of course you are right, but I was convinced to attack an esp 32 and instead it was an esp8266 ... Thanks Sara !!!