Logique et complexité — Richard Lassaigne, Michel de Rougemont