Cours 2 : Règles de déduction sur les connecteurs