1SM 1 notions de logique 6 conjonction logique connecteur binaire