--- /dev/null
+<?php
+
+ require_once('protected/required.php');
+
+ interface HistoriqueManager {
+
+ function createHistorique($historique);
+ function updateHistorique($historique);
+ function getHistorique($id);
+ function getHistoriques();
+ function removeHistorique($historique);
+ }
+
+?>
\ No newline at end of file