Bonjour,
Les deux premiers liens pour télécharger VirtualBox sur cette page: https://support.epfl.ch/kb_view.do?sysparm_article=KB0012496 ne fonctionnent pas.
À la place, vous pouvez télécharger VirtualBox, grâce au lien en dessous: https://nas-webdav.epfl.ch/vpsi1arch/images_vdi/IC_CO_IN-SC-Local/ (VirtualBox-5.2.18-124319-OSX.dmg
pour Mac et VirtualBox-5.2.18-124319-Win.exe
pour Windows).
Bonne chance à ceux qui doivent encore effectuer cette installation, et bon week-end !