Note sur la preuve par 9 des opérations arithmétiques — Ernest Martin