Text this: Les démons de Gödel