C'est une extension de Liapounov et formes quadratiques.
On montre l'existence d'un cylindre de stabilité des solutions pour les fonctions de Lyapounov (cf Berthelin)
On l'applique au cas autonome différentiable avec de la forme quadratique, de l'exponentielle de matrices, du Dunford, un tout petit calcul diff.
Plus de travail, mais plus de recasabilité...