Pratique des systèmes logiques... — Jean-Paul Vabre, Pierre Vergez