L'interaction des notions modales et temporelles dans un cadre formel constitue un champ difficile a aborder sans connaissance preliminaire des outils manipulant les mondes possibles. Cet ouvrage comble ce manque, en introduisant, pour la premiere fois en langue francaise, les systemes formels issus de la logique modale et utilises en linguistique. Differents cadres theoriques sont presentes, et notamment l'approche Kratzerienne et la theorie du temps branchant. La discussion des theories modales est menee a travers le prisme du langage naturel et la notion, centrale dans cet ouvrage, de sens vericonditionnel est mise a l'epreuve des donnees. Au fil des chapitres, les notions theoriques sont abordees via une etude de cas, permettant de traiter de nombreuses questions autour des modalites deontique, de capacite et epistemique, en interaction avec le temps. Notre discussion, qui articule l'empirique et le formel, ne presuppose aucune connaissance formelle preliminaire. Ce livre s'adresse ainsi aussi bien a un public etudiant, qu'aux chercheurs en linguistique, en philosophie ou en sciences cognitives.