1SM 1 notions de logique 13 tautologie ou loi logique