Pile temporaire

Au tout début de l'exécution, nous ne disposons d'aucune pile. C'est pour cela que nous avons créé une pile système temporaire pile_boot qui ne sert plus par la suite. La présence de cette pile est rendue nécessaire par l'appel aux instructions d'initialisation et aux primitives système.