Astuce : pour changer l'adresse IP d'une machine, il suffit d'ajouter une nouvelle adresse, puis de supprimer l'ancienne adresse.