Smoothing causal functions

We describe, in the general setting of closed cone fields, the set of causal functions which can be approximated by smooth Lyapunov. We derive several consequences on causality theory. Dans le contexte g'en'eral des champs de cones ferm'es, on d'ecrit l’ensemble des fonctions causales qui peuvent ^etre approch'ees par des fonctions de Lyapunov lisses. On en d'eduit quelques cons'equence en th'eorie de la causalit'e.