Traité de logique algorithmique, Louis… · Super Livre