SMBC : Logical proofs

Bon, j'espère que vous connaissez Saturday Morning Breakfast Cereal. C'est, j'estime, l'un des ténors de la web-bédé (webcomic) anglophone, avec xkcd. Ceci m'amenant à l'une des dernières planches qui m'a fait rire aux éclats (des heures encore après, l'enthousiasme était toujours bien présent, en témoigne Juliette).

Sur ce...