Preuves dans les détails de calcul pour la vérification de l'aptitude à l'usage