intégration du module proof