Écrire et mécaniser le raisonnement