Gravar e-mail: Cercles vicieux, mathématiques et formalisations logiques