Je suis stupide, ou tiemu-gdb 3.03-1 pour Debian stable ne contient pas le debugger C ? L'option "Debug file with TIEmu..." est grisée.