Comment utiliser GDB (Gnu Debugger) et OpenOCD pour le débogage de microcontrôleurs - à partir du terminal?