Logique et automates, Séminaire Logique et… · Super Livre