/** Exception levée si 2 articles ont la même référence */
  public class RefDoubleException extends Exception {
    String reference; // la reference qui a causé le problème

    public RefDoubleException(String uneReference) {
      reference = uneReference;
    }

    public String getReference() {
      return reference;
    }
  }