When I read the different threads about the Teensy 4.1, Arduino and arduino-cli, I find a lot of information but nothing that solve the problems on my side so I might be missing something.
My environment is under Raspberry pi 4 with a Teensy 4.1 connected on the USB port
In the Arduino IDE...