Systèmes logiques programmés, Daniel Mange… · Super Livre