The menu shown here Getting Started with Tympan Rev E · Tympan/Docs Wiki · GitHub
does not match the menu on the Arduino IDE. I haven’t found a way to take a screenshot of the iDE. but the instructions " * Under Tools menu, select Port and select the Com port paired with the Teensy" do not work. There is no Port in the menu.
Got an updated document? Or some way to take a screenshot of the IDE so I can show you what is there?