public String toStringShort()
    {
        StringBuilder texte = new StringBuilder(titre) ;
		String date = String.format("%1$td/%1$tM/%1$tY  %1$tHh%1$tM", getdate()) ;
        texte.append(" du ").append(date) ;
        texte.append("  (salle ").append(salle.getNom()).append(")") ;
        return texte.toString() ;
    }