import java.rmi.*;
import java.rmi.registry.*;
import java.io.*;

public class Arbitre {

    public static void main(String[] args) {
        try {
            ObjetDe de = new ObjetDe();
            Registry registry = LocateRegistry.createRegistry(4000);
            Naming.rebind("rmi://localhost:4000/Michel", de);

            // Si on utilise la commande rmiregistry dans le terminal, on peut alors remplacer les deux lignes précédentes par :
            //Naming.bind("rmi://localhost/Michel", de);
            System.out.println("L'objet a été publié");
        } catch (Exception e) {
            e.printStackTrace();
        }
    }

}