Une machine virtuelle répartie pour la programmation de processus mobiles