1SM 1 notions de logique 1 proposition