Logique et preuves mathématiques, Pierre… · Super Livre