Activité sur Éléments de logique contemporaine