Amélioration du kernel pour une gestion fonctionnel