4 Quelques lois logiques (Tautologies)