Hi, thanks for your reply.
I started with ledPin = 6 (the led pin on mkr 1000) and 13 when I tried with the Uno. The LED_BUILTIN gets the right value depending on the selected board.
The input pin is always connected to 5V when the button is pressed. Isn't it the way a HIGH is set ?
Finally, I have a multimeter but what should I measure ?