Inférences aspecto-temporelles analysées avec la Logique Combinatoire.