mais à la base, Hurd ne se voulait-il pas être un noyau un peu plus fonctionnel qu'un simple proof of concept ?