Maintenant on garde la clause d'origine pour le litéral vrai et faux