Deux nouvelles fonctions:

* AddTime(date, nb_minutes, nb_heures, nb_jours)
fun AddTime[S I I I] S
Prend en parametre une chaine de date format SCOL: celle renvoyee par ctime time.
Puis trois entiers: le nombre de minutes , d'heures et/ou de jours a ajouter.
Renvoie une date, de format SCOL.
Tous les cas sont geres, années bissextiles et an 2000.

* ConvDate(date)
fun ConvDate[S] S
Prend en parametre une date de format SCOL.
Renvoie une chaine utilisable par une base de donnés.
Les tests de superiorite, inferiorite pour les comparaisons chronologique des dates sont possibles.
