2 résultats : indécidabilité algorithmique