Gravar-mail: D’un point de vue rigoureux et parfaitement général : pratique des mathématiques rigoureuses chez Richard Dedekind