Ajout vm32 (Debian 32 bits)