Modification de historic.java, ajout d'un toString()