L'interruption fonctionne (faire c dans gdb)
TODO : implémentation de ctx_switch_from_irq dans sched.c