Enviar rexistro por email: Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation