[01net.com] Pour être plus rapides, les portables Dell peuvent démarrer sur Linux