Intégration du sous-différentiel proximal — Joël Benoist