Méthodologie d'édition critique de dictionnaires anciens sur support électronique : l'exemple du vocabulaire de marine au 17e siècle dans les textes et dans les dictionnaires