merci pour ces pistes ; voir aussi les sections 8 et 9 du mode d'emploi:
https://support.epfl.ch/kb_view.do?sysparm_article=KB0012496
Si vous n'êtes pas familier avec la configuration du BIOS, ce qui est tout à fait normal, vous pouvez passer au help-desk 1234, où se trouve aussi l'équipe "Poséidon":salle MA A0 388
tel interne: 1234 / externe: 021.6931234
