Notes pour le cours de logique du 26/11/14