Ajout de *4 dans les sw et lw de LTL