Title: Système D, algèbre générale
Subtitle: 350 méthodes, 400 exercices corrigés