Text this: Outils logiques pour le traitement du temps :