Wow. J'ai relu le bouquin de Smullyan et ça m'a frappé. Ca m'avait déjà frappé en première lecture en fait.
Je n'avais jamais compris pourquoi il commençait sa démo (par l'absurde) en disant "supposons que c'est c7". Pour moi ça faisait un peu trop "sorti du chapeau", et on pouvait se contenter de considérer à la rigueur les pions dans leur ensemble.

30 ans après j'ai compris. Merci clanelle