Machine VirtualBox 64 bits

Sur mon système personnel, je ne peux créer que des machines 32 bits pourtant le système est installé avec une version 64 bits de wheezy. Sur d’autres systèmes hôtes debian wheezy 64 bits, je peux créer des MV 64 bits sans soucis.

Sur mon système personnel, j’ai des dossiers de configuration qui proviennent des versions debian précédentes. je pense que le soucis vient de là, j’ai par exemple essayé de relancer VirtualBox en effacant auparavant le répertoire “.VirtualBox”, pas mieux… quel autre répertoire contient ce genre de configuration pour VirtualBox sur la debian ?