Histoire des sciences et des techniques, histoire des dictionnaires: quelques réflexions