les moyens de reduire la taille de la machine virtuelle