1. Lemme de Gronwall intégral. 2. Forme différentielle. 3. Démonstration. 4. Application à l'unicité des EDO
u(t) ≤ α + ∫βu ⟹ u(t) ≤ αe^βt. Outil fondamental pour les EDO