Adaptation d’un assistant de preuve au besoin de l’utilisateur mathématicien