Abstract FR:

Une demonstration directe de l'expressivite de la logique temporelle pour decrire des ensembles de mots infinis est donnee. Un theoreme de schutzenberger est utilise pour les mots infinis: les langages sans etoile peuvent etre obtenus a partir des lettres en utilisant l'union, le produit et l'etoile a delai borne. Une caracterisation algebrique de la logique temporelle restreinte est ensuite donnee: les langages correspondants sont les langages dont le semi-groupe syntactique est locvalemenbt l-trivial