Je parle un peu des thms d'incomplétude, mon propos est informel (rien à voir avec ton article) : je me dis face aux critiques qu'il y a eu lors du passage de Thm d'incompl. en AdQ, qu'il serait bien de faire une présentation soft de la somme toute simple notion d'incomplétude, mais je crois que si je copie colle à la va vite l'oracle dans l'intro de l'article, tu vas me gronder. Mais qu'en pensestu?