Source ouverte, vérifiée formellement pour le rendement Source ouverte, vérifiée formellement pour l'emprunt