Text this: L'arithmeticien familier :