Comment redimensionner un fichier disque .vmdk avec VirtualBox en ligne de commandes, avec les précautions nécessaires avant toute manipulation.