blog:theoreme_de_godel_chaine_pas