On a print string qui fonctionne en "local" dans kernel.c
les 3 autres fonctions ne marchent pas !