Définition
Soit
une fonction continue sur un intervalle
et admettant une primitive sur
.
Soit
un élément de
et
un réel.
Il existe une et une seule primitive
de
sur
vérifiant la condition initiale
.
