Le temps joue un rôle notable dans le raisonnement lié à de nombreux domaines d'activité. Nous travaillons d'une part à la représentation du temps et à son utilisation dans le raisonnement. Nous cherchons notamment une représentation permettant de combiner les notions d'intervalles, d'instants et de durée. Dépendant de la complétude des informations temporelles dont on dispose, une représentation numérique ou symbolique du temps est utilisée. L'exploitation d'une telle représentation dans un raisonnement s'appuie sur un ensemble d'outils fondés notamment sur la technique des gestionnaires de graphes temporels (TMM). Dans ce cadre nous avons développé un ensemble d'algorithmes de propagation de contraintes qui fonctionnent soit sur une représentation symbolique (par une extension de GAC4) soit une représentation numérique et discrète (ANGEL) du temps.