Text this: Les démons de Gödel :