#ifndef HISTORIQUE_H #define HISTORIQUE_H #include "classe.h" CLASSE(historique); extern historique historique_faire(int taille); extern void historique_defaire(historique recv); extern void historique_ajouter(historique recv, char c); extern void historique_aller_a_la_fin(historique recv); extern char historique_precedent(historique recv); #endif /* HISTORIQUE_H */