Développement formel des Systèmes Complexes