Proposition de solution

Visiblement il s'agit d'un problème avec Xorg qui n'est pas forcément réglé par l'installation des extensions système de VirtualBox.

Le problème a pu être réglé sur ma configuration en changeant le système de calcul de coordonnées de la souris. Pour cela, on passe par l'utilitaire de configuration du serveur X xinput en ligne de commande :

xinput set-prop "VirtualBox mouse integration" "Coordinate Transformation Matrix" 0.5 0 0 0 0.5 0 0 0 1.0
xinput set-prop "VirtualBox mouse integration" "Coordinate Transformation Matrix" 1.0 0 0 0 1.0 0 0 0 1.0

Attention à bien copier les deux lignes de la commande avant de lancer la première, car la première commande consiste à dérégler volontairement le calcul de coordonnées, pour ensuite le rétablir. Entre les deux, la souris ne pourra pas forcément atteindre tous les recoins de l'écran !

Visiblement, tout est rentré dans l'ordre après cette manipulation.