Vérifications avant oral : le port HDMI du #laptop fonctionne toujours avec le dernier kernel 4.0.x ?