Évaluation formelle et arithmétique des demandes de cofinancement de p — Friedrich & Clement