Programmation et indécidabilités dans les systèmes complexes. (Programming and undecidability in complex systems)