https://123dok.net/document/zlglv1jg-réels-flottants-préservation-automatique-preuves-stabilité-lyapunov.html