The history of empires is the record of human misery; the history of the sciences is that of the greatness and happiness of mankind.