Reconnaissance du type de raisonnement dans un exercice.