Montage de /proc, /tacos et /core dans init.c.
Merge branch 'master' of https://github.com/TacOS-team/tacos