Je suis simplement allé dans le BIOS et j'ai mis le Secure Boot sur Off. Ça semble bon. 
toto:~$ mokutil --sb-state
SecureBoot disabled
toto:~$
J'ai retenté l'installation de VirtualBox mais j'obtiens un message d'erreur : 
toto:~$ sudo apt-get update
[sudo] password for toto: 
Hit:1 http://fr.archive.ubuntu.com/ubuntu focal InRelease
Hit:2 http://dl.google.com/linux/chrome/deb stable InRelease                      
Hit:3 http://lenovo.archive.canonical.com focal InRelease                         
Hit:4 http://fr.archive.ubuntu.com/ubuntu focal-updates InRelease                 
Hit:5 http://fr.archive.ubuntu.com/ubuntu focal-backports InRelease
Hit:6 http://security.ubuntu.com/ubuntu focal-security InRelease
Hit:7 http://fr.archive.ubuntu.com/ubuntu focal-proposed InRelease
Reading package lists... Done
toto:~$ sudo apt-get install --reinstall virtualbox virtualbox-dkms
E: dpkg was interrupted, you must manually run 'sudo dpkg --configure -a' to correct the problem. 
toto:~$
Relance la config des paquets comme indiqué : 
sudo dpkg --configure -a
Voilà. 
toto:~$ sudo dpkg --configure -a
[sudo] password for toto: 
Setting up virtualbox-dkms (6.1.16-dfsg-6~ubuntu1.20.04.1) ...
Removing old virtualbox-6.1.16 DKMS files...

-------- Uninstall Beginning --------
Module:  virtualbox
Version: 6.1.16
Kernel:  5.8.0-38-generic (x86_64)
-------------------------------------

Status: This module version was INACTIVE for this kernel.
depmod...

DKMS: uninstall completed.

------------------------------
Deleting module version: 6.1.16
completely from the DKMS tree.
------------------------------
Done.
Loading new virtualbox-6.1.16 DKMS files...
Building for 5.8.0-38-generic
Building initial module for 5.8.0-38-generic
Secure Boot not enabled on this system.
Done.

vboxdrv.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/5.8.0-38-generic/updates/dkms/

vboxnetadp.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/5.8.0-38-generic/updates/dkms/

vboxnetflt.ko:
Running module version sanity check.
 - Original module
   - No original module exists within this kernel
 - Installation
   - Installing to /lib/modules/5.8.0-38-generic/updates/dkms/

depmod...

DKMS: install completed.
Setting up virtualbox (6.1.16-dfsg-6~ubuntu1.20.04.1) ...
Created symlink /etc/systemd/system/multi-user.target.wants/vboxweb.service → /lib/systemd/system/vboxweb.service.
Job for vboxweb.service failed because the service did not take the steps required by its unit configuration.
See "systemctl status vboxweb.service" and "journalctl -xe" for details.
Setting up virtualbox-qt (6.1.16-dfsg-6~ubuntu1.20.04.1) ...
Processing triggers for desktop-file-utils (0.24-1ubuntu3) ...
Processing triggers for mime-support (3.64ubuntu1) ...
Processing triggers for hicolor-icon-theme (0.17-2) ...
Processing triggers for gnome-menus (3.36.0-1ubuntu1) ...
Processing triggers for libc-bin (2.31-0ubuntu9.1) ...
Processing triggers for systemd (245.4-4ubuntu3.3) ...
Processing triggers for man-db (2.9.1-1) ...
Processing triggers for shared-mime-info (1.15-1) ...
toto:~$
Je refais 'sudo apt-get install --reinstall virtualbox virtualbox-dkms' ?
Non, c'est l'installation des paquets qui était bloquée après avoir été interrompue. Là, normalement, ils sont bien installés. Tu peux confirmer que Virtualbox fonctionne ?
Ah top ça marche !! Merci beaucoup ! 🙂

Je décoche donc "Proposed" maintenant ?

Je crois par contre que j'aurai peut-être besoin de trucs en plus, comme 'virtualbox-ext-pack' peut-être. En tout cas un truc qui s'appelle "Guest Additions" il me semble. Je ne me souviens plus bien à quoi ça sert mais je pense que je vais m'en rappeler une fois que j'aurai installer Windows 10 dans la VM de VirtualBox. Si je dois installer ces trucs en plus, je devrais repasser par "Proposed" ?

Merci.
Si tu as besoin d'installer des paquets supplémentaires, il faut effectivement le faire avec le dépôt Proposed actif (en attendant que le problème d'origine soit résolu), donc idéalement à faire maintenant. Une fois que les paquets nécessaires seront installés, il faudra effectivement désactiver Proposed.

Il y a les paquets suivants dans les dépôts :
- virtualbox-ext-pack : support du bureau à distance, de l'USB 2, etc.
- virtualbox-guest-addition-iso : installe une image ISO contenant des pilotes pour le système virtualisé

On peut aussi installer les guest additions en tant que modules via DKMS mais il y a deux paquets différents en fonction du noyau (virtualbox-guest-dkms et virtualbox-guest-dkms-hwe). Je suppose que pour un noyau HWE il faut installer le deuxième mais je n'ai pas vraiment d'expérience là-dessus. Logiquement, on n'en a pas besoin si on installe le paquet qui fournit une ISO.
Alors j'ai d'abord tenté d'ajouter les guest additions via la VM de VirtualBox en suivant ceci (c'est comme ça que j'avais fait sur mon ancien PC je crois). Le téléchargement s'est bien passé mais je n'ai pas eu de terminal qui s'est ouvert pour "lancer l'installation". Du coup, j'ai installé les paquets 'virtualbox-ext-pack' et 'virtualbox-guest-addition-iso' (note : il y a un 's' à 'additions') depuis focal-proposed.
toto:~$ sudo apt install virtualbox-ext-pack
Reading package lists... Done
Building dependency tree       
Reading state information... Done
The following NEW packages will be installed:
  virtualbox-ext-pack
0 upgraded, 1 newly installed, 0 to remove and 52 not upgraded.
Need to get 10.5 kB of archives.
After this operation, 142 kB of additional disk space will be used.
Get:1 http://fr.archive.ubuntu.com/ubuntu focal-proposed/multiverse amd64 virtualbox-ext-pack all 6.1.16-1~ubuntu1.20.04.1 [10.5 kB]
Fetched 10.5 kB in 0s (57.6 kB/s)               
Preconfiguring packages ...
Selecting previously unselected package virtualbox-ext-pack.
(Reading database ... 234481 files and directories currently installed.)
Preparing to unpack .../virtualbox-ext-pack_6.1.16-1~ubuntu1.20.04.1_all.deb ...
License has already been accepted.
Unpacking virtualbox-ext-pack (6.1.16-1~ubuntu1.20.04.1) ...
Setting up virtualbox-ext-pack (6.1.16-1~ubuntu1.20.04.1) ...
virtualbox-ext-pack: downloading: http://download.virtualbox.org/virtualbox/6.1.16/Oracle_VM_VirtualBox_Extension_Pack-6.1.16.vbox-extpack
The file will be downloaded into /usr/share/virtualbox-ext-pack
License accepted.
0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100%
Successfully installed "Oracle VM VirtualBox Extension Pack".

toto:~$ sudo apt install virtualbox-guest-addition-iso
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package virtualbox-guest-addition-iso

toto:~$ sudo apt install virtualbox-guest-additions-iso
Reading package lists... Done
Building dependency tree       
Reading state information... Done
The following NEW packages will be installed:
  virtualbox-guest-additions-iso
0 upgraded, 1 newly installed, 0 to remove and 52 not upgraded.
Need to get 44.7 MB of archives.
After this operation, 61.0 MB of additional disk space will be used.
Get:1 http://fr.archive.ubuntu.com/ubuntu focal-proposed/multiverse amd64 virtualbox-guest-additions-iso all 6.1.16-1~ubuntu1.20.04.1 [44.7 MB]
Fetched 44.7 MB in 10s (4,334 kB/s)                                                                                                        
Selecting previously unselected package virtualbox-guest-additions-iso.
(Reading database ... 234486 files and directories currently installed.)
Preparing to unpack .../virtualbox-guest-additions-iso_6.1.16-1~ubuntu1.20.04.1_all.deb ...
Unpacking virtualbox-guest-additions-iso (6.1.16-1~ubuntu1.20.04.1) ...
Setting up virtualbox-guest-additions-iso (6.1.16-1~ubuntu1.20.04.1) ...

toto:~$
Mais je n'ai pas l'impression que l'ISO se soit "installé". J'ai bien un fichier 'VBoxGuestAdditions_6.1.16.iso' sous "/home/toto/.config/VirtualBox/" (je crois que c'est celui qui s'est téléchargé depuis la VM) et dans les paramètres de ma VM j'ai ça : https://ibb.co/KF5H85v. En fait, je ne comprends pas vraiment en quoi consiste vraiment "l'installation" des guest additions.

EDIT : je pense que l'installation du paquet 'virtualbox-ext-pack' a créé le dossier "/usr/share/virtualbox-ext-pack/" et l'installation du paquet 'virtualbox-guest-addition-iso' a créé "/usr/share/virtualbox/" contenant 'VBoxGuestAdditions.iso'.
Les guest additions, ce sont des pilotes (virtuels) pour le système virtualisé (généralement Windows). Le paquet virtualbox-guest-additions-iso fournit une image ISO avec des pilotes à installer, exactement comme si tu avais un CD de pilotes sur une machine Windows.

Dans ta config, il est apparemment monté, donc si tu démarres ta machine virtuelle, une fois arrivé sur le bureau Windows, tu devrais voir un CD inséré dans son lecteur. En allant dessus, tu devrais avoir un setup pour installer les pilotes.
Merci !

Je ne sais pas si tu as vu mon EDIT dans mon message précédent. Du coup j'ai 2 fois l'ISO et je n'avais pas besoin d'installer 'virtualbox-guest-addition-iso' ? Est-ce que je fais un 'sudo apt purge virtualbox-guest-addition-iso' ?

EDIT : j'ai modifié l'ISO monté pour prendre celui téléchargé depuis la VM : /home/toto/.config/VirtualBox/VBoxGuestAdditions_6.1.16.iso.

EDIT 2 : j'ai en effet ouvert l'ISO dans la VM et j'ai pu installer les guest additions. Je comprends maintenant. Merci beaucoup pour toutes les explications !!
Le paquet virtualbox-guest-additions-iso ne sert qu'à fournir l'ISO facilement. Si tu n'en as pas besoin, tu peux le supprimer sans problème.
Voilà j'ai supprimé ce paquet et décoché le dépôt focal-proposed.

Merci beaucoup pour ton aide !!! J'indique cette discussion en "Résolu".