Introduction : le Dictionnaire Robespierre, étape intermédiaire entre la création d’un corpus numérisé de la Révolution française et la mise en oeuvre d’une banque de données