Activités de logique — Denis Franck, Dominique Maume