Groupe de 3 TD sur l'enseignement de la logique.