Démonstration de la primitive d'une fonction