Bonjour,
Après vérification il semblerait y avoir une erreur dans le cours sur l'union de deux SFDD.
La version que vous avez dans le cours: T U <t, τ, σ> = <t, T U τ, T U σ>
La version corrigée: T U <t, τ, σ> = <t, τ, T U σ>
Si vous constatez d'autres problèmes n'hésitez pas à me le signaler.