Modélisation et propagation de contraintes temporelles pour la planification — Jean-François Rit