Dictionnaire encyclopédique des mathématiques