(le machin unix magique à clusters de Bull dont j'ai oublié le nom, openBSD et Gentoo s'ajoutent à HPUX et Debian)