Toutes les propositions sont vraies btw