ESP32 Arduino timer issue ?

[Micbelli]

Hello
I am a new member and when I use timer in Arduino sketch, the timer n°3 behaves like it doesn't exist . When I edit the file :arduino-esp32/cores/esp32/esp32-hal-timer.c :

static hw_timer_t timer_dev[4] = {
{0,0}, {1,0}, {1,0}, {1,1}
};
So the n°2 and n°3 are the same. If I use timer n°4 it's work fine.
Am I wrong?
Best regards