Noyau portable (portable library)