914 -- Décidabilité et indécidabilité. Exemples.

Attention pour le théorème de Rice : \emptyset \not = \{ \emptyset \}