Les systèmes d'exploitation/Le noyau d'un système d'exploitation