Logique (licence 1, sem. 2, cours du mardi)