Activité sur Proofs from the book